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

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

Gesponsert Deductive Software Verification - The KeY Book

117.49 EUR 117.49 EUR
17-09-2026 12:23:05
Access to the deal

Ähnliche Produkte

Formal Verification of Simulink/Stateflow Diagrams

123.04 EUR 136.00 EUR
Produkt anzeigen

The Consistent Preferences Approach to Deductive Reasoning in Games (Theory and Decision Library C, Band 37)

101.84 EUR 118.00 EUR
Produkt anzeigen

Deductive Software Verification The KeY Book

115.64 EUR 142.00 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