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
42.79 EUR
Teilen:
Angebote
Gesponsert
Deductive Software Verification: Future Perspectives
SpringerLink DE
42.79 EUR
21-04-2026 20:56:31
Ähnliche Produkte
Deductive Software Verification - The KeY Book
96.29 EUR
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Lecture Notes in Computer Science, Band 12345)
49.98 EUR
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
32.50 EUR
Deductive Software Verification – The KeY Book: From Theory to Practice
115.64 EUR
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
109.98 EUR
The Consistent Preferences Approach to Deductive Reasoning in Games
106.99 EUR
Die Christliche Sittenlehre: Deductive Entwickelung der Gesetze Christlichen Heilslebens im Organismus der Menschheit
0.00
Logic: Deductive and Inductive
48.45 EUR