Tests and Proofs
16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
Seiten
2022
|
1st ed. 2022
Springer International Publishing (Verlag)
978-3-031-09826-0 (ISBN)
Springer International Publishing (Verlag)
978-3-031-09826-0 (ISBN)
This book constitutes the proceedings of the 16th International Conference on Tests and Proofs, TAP 2022, which was held as part of Software Technologies: Applications and Foundations, STAF 2022, and took place in Nantes, France in July 2022.
The 6 full papers together with 1 invited extended abstract included in this volume were carefully reviewed and selected from 11 submissions. They were organized in topical sections on formal analysis, and proofs, and effective testing.
Formal Analysis and Proofs.- Effective Testing.
Erscheinungsdatum | 24.06.2022 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | VIII, 127 p. 28 illus., 10 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 226 g |
Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
Geisteswissenschaften ► Philosophie ► Logik | |
Mathematik / Informatik ► Informatik ► Theorie / Studium | |
Schlagworte | Architecting • architecture verification and validation • Artificial Intelligence • Computer Hardware • computer programming • Computer Science • Computer systems • Debugging • Embedded Systems • Engineering • Formal Logic • Linguistics • Logic • Mathematics • Model Checking • Semantics • software architecture • Software Design • Software engineering • Software Quality • Software Reliability • Software Safety • Software Testing • verification • Verification and Validation |
ISBN-10 | 3-031-09826-9 / 3031098269 |
ISBN-13 | 978-3-031-09826-0 / 9783031098260 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
die letzten Jahre der Philosophie und der Beginn einer neuen …
Buch | Hardcover (2024)
Klett-Cotta (Verlag)
CHF 39,20
Gesundheitsschutz, Selbstbestimmungsrechte, Rechtspolitik
Buch | Softcover (2024)
Kohlhammer (Verlag)
CHF 54,60
Jenseits von Identität | Ausgezeichnet mit dem Leipziger Buchpreis …
Buch | Softcover (2023)
Ullstein Taschenbuch Verlag
CHF 19,55