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
101.64 EUR
Preis aktualisiert am: 07-09-2026 06:01:08
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: 06-09-2026 08:01:39
Siehe Produktangebot
Gesponsert
Verification of Object-Oriented Software. The KeY Approach
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:18
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

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
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
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ü