logo
logo
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
logo
  • 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
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Deductive Software Verification The KeY Book
product image
product image
product image
product image

Deductive Software Verification The KeY Book

115.64 EUR 10% Off 128.39 EUR

Marke: Springer
  • Angebote
  • Merkmale
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
-10%

Gesponsert Deductive Software Verification - The KeY Book: From Theory to Practice (Lecture Notes in Computer Science)

Medimops DE
115.64 EUR 128.39 EUR
27-04-2026 19:13:07
Access to the deal

Gesponsert Deductive Software Verification – The KeY Book

SpringerLink DE
128.39 EUR 128.39 EUR
27-04-2026 22:11:07
Access to the deal

Gesponsert Deductive Software Verification - The KeY Book, Fachbücher von Peter H. Schmitt, Wolfgang Ahrendt, Reiner Hähnle, Mattias Ulbrich, Richard Bubel, Bernhard Beckert

Galaxus.de
128.39 EUR 128.39 EUR
27-04-2026 18:26:33
Access to the deal

Ähnliche Produkte

The Deductive Spreadsheet

48.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

Formal Verification of Simulink/Stateflow Diagrams

109.98 EUR 123.04 EUR
Produkt anzeigen

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

106.99 EUR
Produkt anzeigen

Beste Preise und Angebote

Finden Sie in Sekunden den besten Preis

Sparen Sie bei jedem Einkauf

Sparen Sie >20 % pro Einkauf

Genaue Information

Finden Sie alle Informationen, die Sie benötigen

Die Macht der Wahl

Wählen Sie aus Tausenden von Geschäften

logo

Kaufen Sie clever ein dank Kaicus. Vergleichen und sparen!

  • Anschrift: C\ Rioja, 13 - 1ºC, 41001 - Sevilla (Spain)
  • Email: info@kaicus.com

Kaicus

  • Über uns
  • Datenschutz-Bestimmungen
  • Geschäftsbedingungen
  • Kontakt

Information

  • FAQs
  • Tipps für Käufer
  • Informationen für Marken

International

UK España Italia Deutschland France Portugal

© 2026, Kaicus - Smart Shopping
All rights reserved