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
Published on 16. October 2019
Book
Paperback/Softback
XVI, 245 pages
978-3-030-32440-7 (ISBN)
Description
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.
More details
Series
Edition
2019 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
492 s/w Abbildungen, 53 farbige Abbildungen
XVI, 245 p. 545 illus., 53 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 15 mm
Weight
406 gr
ISBN-13
978-3-030-32440-7 (9783030324407)
DOI
10.1007/978-3-030-32441-4
Schweitzer Classification
Other editions
Additional editions
Brijesh Dongol | Luigia Petre | Graeme Smith
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
E-Book
09/2019
Springer
€53.49
Available for download
Content
Tutorial lectures.- Teaching Program Verification.- Teaching Program Development.- Effective Teaching Techniques.