Verification of Object-Oriented Software. The KeY Approach

Verification of Object-Oriented Software The KeY Approach
Wo zu kaufen (4) Eigenschaften
Gesponsert
Verification of Object-Oriented Software: The KeY Approach (Lecture Notes in Computer Science)
Medimops DE
102.14 EUR
Preis aktualisiert am: 28-10-2026 22:17:09
Siehe Produktangebot
Gesponsert
Verification of Object-Oriented Software. The KeY Approach
Hugendubel
106.99 EUR
Preis aktualisiert am: 29-10-2026 13:08: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: 29-10-2026 13:56:57
Siehe Produktangebot
Gesponsert
Verification of Object-Oriented Software. The KeY Approach
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 28-10-2026 06:11:47
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Aus53.49 EUR 3
Produkt anzeigen
Modelling and Verification of Secure Exams
Modelling and Verification of Secure Exams
Aus53.49 EUR 3
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)
Aus48.99 EUR 3
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
Aus53.49 EUR 1
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
Aus32.50 EUR 1
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
Aus53.49 EUR 1
Produkt anzeigen
Menü