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
Medien
Bücher
Deductive Software Verification – The KeY Book: From Theory to Practice
Deductive Software Verification – The KeY Book: From Theory to Practice
Teilen:
Angebote
Gesponsert
Produkte ansehen bei eBay
eBay
Gesponsert
Produkte ansehen bei Back Market DE
Back Market DE
Gesponsert
Produkte ansehen bei AsGoodAsNew DE
AsGoodAsNew DE
Gesponsert
Produkte ansehen bei Alternate DE
Alternate DE
Gesponsert
Produkte ansehen bei Beauty Welt (DE)
Beauty Welt (DE)
Gesponsert
Produkte ansehen bei babymarkt.de
babymarkt.de
Gesponsert
Produkte ansehen bei DeubaXXL DE
DeubaXXL DE
Ähnliche Produkte
The Consistent Preferences Approach to Deductive Reasoning in Games
106.99 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
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
123.04 EUR
The Deductive Spreadsheet (Cognitive Technologies)
48.98 EUR
Hybrid Models for Coupling Deductive and Inductive Reasoning
69.54 EUR
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
32.50 EUR
eBay
Back Market DE
AsGoodAsNew DE
Alternate DE
Beauty Welt (DE)
babymarkt.de
DeubaXXL DE
