Verification of Object-Oriented Software. The KeY Approach | Kaicus Deutschland
All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Verification of Object-Oriented Software. The KeY Approach
product image
product image
product image
product image

Verification of Object-Oriented Software. The KeY Approach

92.98 EUR 13% Off 106.99 EUR

Marke: Springer
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
-13%

Gesponsert Verification of Object-Oriented Software: The KeY Approach (Lecture Notes in Computer Science)

92.98 EUR 106.99 EUR
04-06-2026 16:44:23
Access to the deal

Gesponsert Verification of Object-Oriented Software. The KeY Approach

106.99 EUR 106.99 EUR
04-06-2026 13:41:11
Access to the deal

Gesponsert Verification of Object-Oriented Software. The KeY Approach, Fachbücher von Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

106.99 EUR 106.99 EUR
04-06-2026 06:13:32
Access to the deal

Ähnliche Produkte

Formal Modeling and Verification of Cyber-Physical Systems

53.49 EUR
Produkt anzeigen

Modelling and Verification of Secure Exams

53.49 EUR
Produkt anzeigen

Formal Verification of Object-Oriented Software

49.22 EUR
Produkt anzeigen

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

32.50 EUR
Produkt anzeigen