LEADER 03065nam  22006855  450 
001 996466438103316
005 20230329205643.0
010   $a3-030-32441-9
024 7 $a10.1007/978-3-030-32441-4
035   $a(CKB)4100000009362552
035   $a(DE-He213)978-3-030-32441-4
035   $a(MiAaPQ)EBC5922431
035   $a(PPN)248601660
035   $a(EXLCZ)994100000009362552
100   $a20190920d2019      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal Methods Teaching$b[electronic resource] $eThird 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 /$fedited by Brijesh Dongol, Luigia Petre, Graeme Smith
205   $a1st ed. 2019.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2019.
215   $a1 online resource (XVI, 245 p. 545 illus., 53 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11758
311   $a3-030-32440-0 
327   $aTutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11758
606   $aMachine theory
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aLogic programming
606   $aAlgorithms
606   $aFormal Languages and Automata Theory
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aLogic in AI
606   $aAlgorithms
615  0$aMachine theory.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aLogic programming.
615  0$aAlgorithms.
615 14$aFormal Languages and Automata Theory.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aLogic in AI.
615 24$aAlgorithms.
676   $a004.0151
702   $aDongol$b Brijesh$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPetre$b Luigia$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSmith$b Graeme$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466438103316
996   $aFormal Methods Teaching$92550113
997   $aUNISA