Produktnummer:
18d8d90da92c7f4285b639048bc4ea8b0a
| Themengebiete: | formal logic formal methods model checking runtime verification software engineering software testing specifications symbolic execution theorem proving |
|---|---|
| Veröffentlichungsdatum: | 20.07.2023 |
| EAN: | 9783031388279 |
| Sprache: | Englisch |
| Seitenzahl: | 187 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Prevosto, Virgile Seceleanu, Cristina |
| Verlag: | Springer International Publishing |
| Untertitel: | 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings |
Produktinformationen "Tests and Proofs"
This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies, Applications and Foundations, which includes two more conferences besides TAP: ICGT (International Conference on Graph Transformations), and ECMFA (European Conference on Modelling Foundations and Applications) in Leicester, UK, in July 2023. The 8 full papers together with 2 short papers included in this volume were carefully reviewed and selected from 14 submissions. They were organized in topical sections on Low-level Code Verification, Formal Models, Model-based test generation, and Abstraction and Refinement.
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