國立虎尾科技大學 |

Formal Methods Teaching = Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal Methods Teaching/ edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
Reminder of title:	Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /
other author:	Dongol, Brijesh.
Description:	XVI, 245 p. 545 illus., 53 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Mathematical logic. -
Online resource:	https://doi.org/10.1007/978-3-030-32441-4
ISBN:	9783030324414

Formal Methods Teaching = Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /
Formal Methods TeachingThird International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /[electronic resource] :edited by Brijesh Dongol, Luigia Petre, Graeme Smith. - 1st ed. 2019. - XVI, 245 p. 545 illus., 53 illus. in color.online resource. - Theoretical Computer Science and General Issues ;11758. - Theoretical Computer Science and General Issues ;9163.

Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques.

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.

ISBN: 9783030324414

Standard No.: 10.1007/978-3-030-32441-4doiSubjects--Topical Terms:

810627
Mathematical logic.

LC Class. No.: QA8.9-10.3

Dewey Class. No.: 005.131

Formal Methods Teaching = Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings /
LDR:02184nam a22004095i 4500 001 1012400
003 DE-He213
005 20200630180907.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|eng d
020 $a 9783030324414 $9 978-3-030-32441-4
024 7 $a 10.1007/978-3-030-32441-4 $2 doi
035 $a 978-3-030-32441-4
050 4 $a QA8.9-10.3
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.131 $2 23
245 1 0 $a Formal Methods Teaching $h [electronic resource] : $b Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / $c edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
250 $a 1st ed. 2019.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a XVI, 245 p. 545 illus., 53 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 11758
505 0 $a Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques.
520 $a This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
650 0 $a Mathematical logic. $2 bicssc $3 810627
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Software engineering. $3 562952
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computer logic. $3 786340
650 0 $a Algorithms. $3 527865
650 1 4 $a Mathematical Logic and Formal Languages. $3 670059
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 593923
700 1 $a Dongol, Brijesh. $e editor. $1 https://orcid.org/0000-0003-0446-3507 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1306645
700 1 $a Petre, Luigia. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1076437
700 1 $a Smith, Graeme. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1286999
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030324407
776 0 8 $i Printed edition: $z 9783030324421
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-030-32441-4
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)