Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
(Sprache: Englisch)
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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Tests and Proofs “
Klappentext zu „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. Inhaltsverzeichnis zu „Tests and Proofs “
Low-level Code Verification.- Formal Models.- Model-based test generation.- Abstraction and Refinement.
Bibliographische Angaben
- 2023, 1st ed. 2023, XXII, 187 Seiten, 17 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Virgile Prevosto, Cristina Seceleanu
- Verlag: Springer, Berlin
- ISBN-10: 3031388275
- ISBN-13: 9783031388279
Sprache:
Englisch
Kommentar zu "Tests and Proofs"
Schreiben Sie einen Kommentar zu "Tests and Proofs".
Kommentar verfassen