Produktnummer:
18f4e79700c28441ae9519a5aabac41387
| Themengebiete: | Architecting architecture verification and validation artificial intelligence computer programming computer science curricula education mathematics software architecture software design |
|---|---|
| Veröffentlichungsdatum: | 21.02.2023 |
| EAN: | 9783031275333 |
| Sprache: | Englisch |
| Seitenzahl: | 105 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Dubois, Catherine San Pietro, Pierluigi |
| Verlag: | Springer International Publishing |
| Untertitel: | 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings |
Produktinformationen "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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen