Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction

Ein wissenschaftliches Buch, das die formale Verifikation von objektorientierter Software mit dynamischen Rahmen, dynamischer Logik und Prädikatabstr ...
Deductive verification of object-oriented
Wo zu kaufen (2) Eigenschaften
Gesponsert
Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction
Hugendubel
32.50 EUR
Preis aktualisiert am: 02-09-2024 20:41:54
Siehe Produktangebot
Gesponsert
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Medimops DE
32.50 EUR
Preis aktualisiert am: 17-04-2025 00:30:20
Siehe Produktangebot

Allgemein

Marke
Benjamin Weiss
ISBN
Benjamin Weiss 3866446233

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
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
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
Menü