Brauchen Sie Hilfe?
DE
US
CA
UK
ES
FR
DE
IT
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
Geschäftsbedingungen
Datenschutz-Bestimmungen
Blog
Kontakt
Home
Deductive Software Verification: Future Perspectives
Deductive Software Verification: Future Perspectives
53.49 EUR
47.00 EUR
12% Off
Teilen:
Angebote
Gesponsert
Deductive Software Verification: Future Perspectives
SpringerLink DE
47.00 EUR
07-09-2026 11:14:13
Gesponsert
Deductive Software Verification: Future Perspectives
Hugendubel
53.49 EUR
06-09-2026 12:18:06
Ähnliche Produkte
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
123.04 EUR
The Consistent Preferences Approach to Deductive Reasoning in Games
101.84 EUR
Deductive Software Verification – The KeY Book: From Theory to Practice
115.64 EUR
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)
53.49 EUR
Deductive Software Verification - The KeY Book
113.50 EUR
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
32.50 EUR
SpringerLink DE 
Hugendubel 
