Cover Image
Read Now

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

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 se...

Full description

Bibliographic Details
Other Authors: Dongol, Brijesh (Editor), Petre, Luigia (Editor), Smith, Graeme (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2019, 2019
Edition:1st ed. 2019
Series:Theoretical Computer Science and General Issues
Subjects:
Compilers (computer Programs)
Compilers And Interpreters
Software Engineering
Algorithms
Logic In Ai.
Formal Languages And Automata Theory
Machine Theory
Logic Programming
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02094nmm a2200385 u 4500
001 EB001874345
003 EBX01000000000000001037713
005 00000000000000.0
007 cr|||||||||||||||||||||
008 191022 ||| eng
020 |a 9783030324414 
100 1 |a Dongol, Brijesh  |e [editor] 
245 0 0 |a Formal Methods Teaching  |h Elektronische Ressource  |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 
260 |a Cham  |b Springer International Publishing  |c 2019, 2019 
300 |a XVI, 245 p. 545 illus., 53 illus. in color  |b online resource 
505 0 |a Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques 
653 |a Compilers (Computer programs) 
653 |a Compilers and Interpreters 
653 |a Software engineering 
653 |a Software Engineering 
653 |a Algorithms 
653 |a Logic in AI. 
653 |a Formal Languages and Automata Theory 
653 |a Machine theory 
653 |a Logic programming 
700 1 |a Petre, Luigia  |e [editor] 
700 1 |a Smith, Graeme  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Theoretical Computer Science and General Issues 
028 5 0 |a 10.1007/978-3-030-32441-4 
856 4 0 |u https://doi.org/10.1007/978-3-030-32441-4?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.131 
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 

Similar Items