Deductive Software Verification: Future Perspectives

Name: Deductive Software Verification: Future Perspectives
SKU: P37100790
Price: 68.50 CHF
Availability: InStock
ISBN: 9783030643539

Reflections on the Occasion of 20 Years of KeY

Reiner Haehnle

▪Bernhard Beckert

▪Wolfgang Ahrendt

Verlag:

Springer

Unsere-Artikel-Nr.: P37100790

EAN: 9783030643539

Erhältlich:

Nicht auf Lager

Zustellung: Do, 17.09.2026

Versand: Kostenlos

CHF 68.50

Warenkorb