Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)

Wo zu kaufen (3) Eigenschaften
Gesponsert
Deductive Software Verification: Future Perspectives
Hugendubel
53.49 EUR
Preis aktualisiert am: 10-11-2026 16:15:11
Siehe Produktangebot
Gesponsert
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)
Medimops DE
53.49 EUR
Preis aktualisiert am: 12-11-2026 07:50:07
Siehe Produktangebot
Gesponsert
Deductive Software Verification: Future Perspectives
SpringerLink DE
54.99 EUR
Preis aktualisiert am: 12-11-2026 00:17:54
Siehe Produktangebot

Allgemein

Marke
Wolfgang Ahrendt

Eigenschaften

Ähnliche Produkte

Deductive Software Verification ¿ The KeY Book
Deductive Software Verification ¿ The KeY Book
Aus115.64 EUR 3
Produkt anzeigen
Deductive Software Verification
Deductive Software Verification - The KeY Book
Aus96.29 EUR 2
Produkt anzeigen
Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
Aus42.79 EUR 2
Produkt anzeigen
System der deductiven und inductiven Logik
System der deductiven und inductiven Logik
Aus26.90 EUR 3
Produkt anzeigen
System der deductiven und inductiven Logik: in zwei Teilen: Eine Darlegung der Prinzipien wissenschaftlicher Forschung, insbesondere der Naturforschung
System der deductiven und inductiven Logik: in zwei Teilen: Eine Darlegung der Prinzipien wissenschaftlicher Forschung, insbesondere der Naturforschung
Aus38.90 EUR 2
Produkt anzeigen
Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction
Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction
Aus32.50 EUR 1
Produkt anzeigen
Menü