Willkommen. Schön, sind Sie da!
Mein Ex Libris
💥10% auf Kinder- & Jugendbücher und 20% auf ausgewählte E-Reader
Jetzt profitieren

Deductive Software Verification: Future Perspectives

(0)
Erste Bewertung abgeben

This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification. Sin...

10% Rabatt auf Kinder- und Jugendbücher

Tiefpreis

CHF98.40

Print on Demand - Exemplar wird für Sie besorgt.

Wird oft zusammen gekauft

Andere Kunden kauften auch