Alle Kategorien durchsuchen
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
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
Angebote
Liste speichern
Marken
Blog
Angebote
Kategorien
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
Information
Über uns
Datenschutz-Bestimmungen
Geschäftsbedingungen
Kontakt
FAQs
Tipps für Käufer
© 2026,
Kaicus
- Smart Shopping
All rights reserved
Kaicus
Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
42.79 EUR
Marke
:
Springer International Publishing
Angebote
Merkmale
Gesponsert
Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
Weitere Informationen
Gesponsert
Deductive Software Verification: Future Perspectives
SpringerLink DE
42.79 EUR
42.79 EUR
27-04-2026 22:02:07
Access to the deal
Ähnliche Produkte
Deductive Software Verification – The KeY Book
96.29 EUR
Produkt anzeigen
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)
49.98 EUR
53.49 EUR
Produkt anzeigen
Deductive verification of object-oriented software : dynamic frames dynamic logic and predicate abstraction
32.50 EUR
Produkt anzeigen
Deductive Software Verification The KeY Book
115.64 EUR
128.39 EUR
Produkt anzeigen