Verification of Object-Oriented Software. The KeY Approach

Verification of Object-Oriented Software The KeY Approach
Wo zu kaufen (3) Eigenschaften
Gesponsert
Verification of Object-Oriented Software: The KeY Approach (Lecture Notes in Computer Science)
Medimops DE
92.98 EUR
Preis aktualisiert am: 11-06-2026 16:12:43
Siehe Produktangebot
Gesponsert
Verification of Object-Oriented Software. The KeY Approach
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 11-06-2026 10:25:42
Siehe Produktangebot
Gesponsert
Verification of Object-Oriented Software. The KeY Approach, Fachbücher von Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
Galaxus.de
106.99 EUR
Preis aktualisiert am: 11-06-2026 11:12:18
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Produkt anzeigen
Modelling and Verification of Secure Exams
Modelling and Verification of Secure Exams
Produkt anzeigen
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7421)
Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science, Band 7421)
Produkt anzeigen
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Produkt anzeigen
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
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ü