Deductive Software Verification ¿ The KeY Book

Wo zu kaufen (2) Eigenschaften

Gesponsert

Deductive Software Verification - The KeY Book: From Theory to Practice (Lecture Notes in Computer Science)

Medimops DE

115.64 EUR

Preis aktualisiert am: 07-09-2026 05:47:57

Siehe Produktangebot

Gesponsert

Deductive Software Verification – The KeY Book

SpringerLink DE

142.00 EUR

Preis aktualisiert am: 07-09-2026 11:13:56

Siehe Produktangebot

Allgemein

Marke

Springer

Eigenschaften

Ähnliche Produkte

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach

Produkt anzeigen

The Deductive Spreadsheet (Cognitive Technologies)

The Deductive Spreadsheet (Cognitive Technologies)

Produkt anzeigen

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

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

Hybrid Models for Coupling Deductive and Inductive Reasoning

Hybrid Models for Coupling Deductive and Inductive Reasoning

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