Deductive Software Verification – The KeY Book | 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 Deductive Software Verification – The KeY Book
product image
product image

Deductive Software Verification – The KeY Book

113.50 EUR 3% Off 117.49 EUR

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

Gesponsert Deductive Software Verification – The KeY Book

113.50 EUR 117.49 EUR
03-11-2026 17:51:11
Access to the deal

Gesponsert Deductive Software Verification - The KeY Book

117.49 EUR 117.49 EUR
03-11-2026 19:58:00
Access to the deal

Ähnliche Produkte

Deductive Software Verification: Future Perspectives

47.00 EUR
Produkt anzeigen

Deductive Software Verification The KeY Book

115.64 EUR
Produkt anzeigen

Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)

53.49 EUR
Produkt anzeigen

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

32.50 EUR
Produkt anzeigen