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

Titel: "Verified Software: Theories, Tools and Experiments". Herausgeber: Clément Pit-Claudel, Katherine Kosaian.

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 54,75

Versandkosten (United States of America): EUR 19,90

Herausgeber:: Clément Pit-Claudel, Katherine Kosaian
Verlag:: Springer, 07/2026
Einband:: Kartoniert / Broschiert
Sprache:: Englisch
ISBN-13:: 9783032273390
Artikelnummer:: 12790145
Umfang:: 128 Seiten
Gewicht:: 207 g
Maße:: 235 x 155 mm
Stärke:: 8 mm
Erscheinungstermin:: 2.7.2026
Serie:: Lecture Notes in Computer Science - Band 16499
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.