Erhältlich:
Nicht auf Lager
Buch (Softcover): Fachbuch
Deductive Software Verification: Future Perspectives
Reflections on the Occasion of 20 Years of KeY
Produkt bewerten
Verlag:
Springer Unsere-Artikel-Nr.: P37100790
EAN: 9783030643539
Erhältlich:
Nicht auf Lager
Zustellung: Di, 25.08.2026
Versand: Kostenlos
CHF 68.50