Deductive Software Verification - The KeY Book

Wo zu kaufen (2) Eigenschaften
Gesponsert
Deductive Software Verification – The KeY Book
SpringerLink DE
96.29 EUR
Preis aktualisiert am: 23-09-2026 00:26:29
Siehe Produktangebot
Gesponsert
Deductive Software Verification - The KeY Book
Hugendubel
117.49 EUR
Preis aktualisiert am: 19-09-2026 16:47:11
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
The Consistent Preferences Approach to Deductive Reasoning in Games (Theory and Decision Library C, Band 37)
The Consistent Preferences Approach to Deductive Reasoning in Games (Theory and Decision Library C, Band 37)
Aus101.84 EUR 4
Produkt anzeigen
Deductive Software Verification ¿ The KeY Book
Deductive Software Verification ¿ The KeY Book
Aus115.64 EUR 4
Produkt anzeigen
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Aus123.04 EUR 3
Produkt anzeigen
Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
Aus47.00 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ü