Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Formal Methods Teaching
CHF 71.95
Auf Lager
SKU
JFP9D0R9MA0
1 Verfügbar 
Geliefert zwischen Do., 13.11.2025 und Fr., 14.11.2025
Details
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.
Inhalt
Tutorial lectures.- Teaching Program Verification.- Teaching Program Development.- Effective Teaching Techniques.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783030324407
- Editor Brijesh Dongol, Graeme Smith, Luigia Petre
- Sprache Englisch
- Auflage 1st edition 2019
- Größe H235mm x B155mm x T15mm
- Jahr 2019
- EAN 9783030324407
- Format Kartonierter Einband
- ISBN 3030324400
- Veröffentlichung 16.10.2019
- Titel Formal Methods Teaching
- Untertitel 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
- Gewicht 406g
- Herausgeber Springer International Publishing
- Anzahl Seiten 264
- Lesemotiv Verstehen
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
