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: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)
Medimops DE
49.98 EUR
Preis aktualisiert am: 02-05-2026 22:15:06
Siehe Produktangebot
Gesponsert
Deductive Software Verification: Future Perspectives
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 02-05-2026 09:22:22
Siehe Produktangebot
Gesponsert
Deductive Software Verification: Future Perspectives, Fachbücher von Bernhard Beckert, Mattias Ulbrich, Reiner Hähnle, Wolfgang Ahrendt, Richard Bubel
Galaxus.de
53.49 EUR
Preis aktualisiert am: 02-05-2026 17:58:09
Siehe Produktangebot

Allgemein

Marke
Wolfgang Ahrendt

Eigenschaften

Ähnliche Produkte

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
Deductive Software Verification - The KeY Book
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ü