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
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
Teilen:
Angebote
Gesponsert
Verification, Induction, Termination Analysis
SpringerLink DE
53.49 EUR
27-04-2026 22:18:10
Ähnliche Produkte
Formal Modeling and Verification of Cyber-Physical Systems
53.49 EUR
ESL Models and their Application: Electronic System Level Design and Verification in Practice
119.99 EUR
Determination and verification of possible resource savings in manual dishwashing
45.80 EUR
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
Vérification et validation formelles de modèles UML: Approches et outils
69.00 EUR
HPE MSL6480 Kartendatenbank 100 Stk. E‑LTU
1929.20 EUR