Deductive Software Verification - The KeY Book

Wo zu kaufen (1) Eigenschaften
Gesponsert
Deductive Software Verification – The KeY Book
SpringerLink DE
96.29 EUR
Preis aktualisiert am: 02-05-2026 09:29:08
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)
Produkt anzeigen
Deductive Software Verification ¿ The KeY Book
Deductive Software Verification ¿ The KeY Book
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)
Produkt anzeigen
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Produkt anzeigen
Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
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
Produkt anzeigen
Menü