Formal Methods Teaching
5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.
The 7 full papers presented in this volume were carefully reviewed and selected from 10...
The 7 full papers presented in this volume were carefully reviewed and selected from 10...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
60.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Formal Methods Teaching “
Klappentext zu „Formal Methods Teaching “
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.
Inhaltsverzeichnis zu „Formal Methods Teaching “
Automated Exercise Generation for Satisfiability Checking.- Graphical Loop Invariant Based Programming.- A Gentle Introduction to Verification of Parameterized Reactive Systems.- Model Checking Concurrent Programs for Autograding in pseuCo Book.- Teaching TLA+ to Engineers at Microsoft.- Teaching and Training in Formalisation with B.- Teaching low-code Formal Methods with Coloured Petri Nets.
Bibliographische Angaben
- 2023, 1st ed. 2023, IX, 105 Seiten, 20 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Catherine Dubois, Pierluigi San Pietro
- Verlag: Springer, Berlin
- ISBN-10: 3031275330
- ISBN-13: 9783031275333
Sprache:
Englisch
Kommentar zu "Formal Methods Teaching"
Schreiben Sie einen Kommentar zu "Formal Methods Teaching".
Kommentar verfassen