Deductive Software Verification - The KeY Book

Wo zu kaufen (2) Eigenschaften
Gesponsert
Deductive Software Verification – The KeY Book
SpringerLink DE
113.50 EUR
Preis aktualisiert am: 06-11-2026 06:28:43
Siehe Produktangebot
Gesponsert
Deductive Software Verification - The KeY Book
Hugendubel
117.49 EUR
Preis aktualisiert am: 07-11-2026 09:50:57
Siehe Produktangebot

Allgemein

Marke
Springer International Publishing

Eigenschaften

Ähnliche Produkte

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)
Aus53.49 EUR 4
Produkt anzeigen
Deductive Software Verification ¿ The KeY Book
Deductive Software Verification ¿ The KeY Book
Aus115.64 EUR 3
Produkt anzeigen
Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
Aus47.00 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ü