Verified Software. Theories, Tools and Experiments, Kartoniert / Broschiert
Verified Software. Theories, Tools and Experiments
Buch
- 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers
Artikel noch nicht erschienen, voraussichtlicher Liefertermin ist der 3.8.2026.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.
Aktueller Preis: EUR 67,00
Versandkosten
(United States of America): EUR 19,90
- Herausgeber:
- Clement Pit-Claudel, Katherine Kosaian
- Verlag:
- Springer Nature Switzerland AG, 08/2026
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032273390
- Artikelnummer:
- 12790145
- Umfang:
- 100 Seiten
- Erscheinungstermin:
- 3.8.2026
- Serie:
- Lecture Notes in Computer Science
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025.
The 4 full papers and 2 short papers presented in this proceedings were carefully selected and reviewed from 15 submissions. The book also contains extended abstracts of an invited talk and an invited tutorial.
VSTTE focusses on critical research challenges in the spectrum of software verification.
Verified Software. Theories, Tools and Experiments
Aktueller Preis: EUR 67,00
