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
Medien
Bücher
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday
53.49 EUR
Marke
:
Springer
MPN:
30 black & white illustrations, biograph
ISBN:
9783642171710
Angebote
Merkmale
Gesponsert
Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
Weitere Informationen
Gesponsert
Verification, Induction, Termination Analysis
SpringerLink DE
53.49 EUR
53.49 EUR
26-04-2026 02:01:30
Access to the deal
Ähnliche Produkte
Formal Modeling and Verification of Cyber-Physical Systems
53.49 EUR
Produkt anzeigen
Martin, Grant: ESL Models and their Application
119.99 EUR
Produkt anzeigen
Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits
69.00 EUR
Produkt anzeigen
Vérification et validation formelles de modèles UML: Approches et outils
69.00 EUR
Produkt anzeigen