Verification, Induction, Termination Analysis: Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Computer Science
Wo zu kaufen (1) Eigenschaften
Gesponsert
Verification, Induction, Termination Analysis
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 06:11:54
Siehe Produktangebot

Allgemein

Marke
Springer
MPN
Springer 30 black & white illustrations, biograph
ISBN
Springer 9783642171710

Eigenschaften

Ähnliche Produkte

Martin, Grant: ESL Models and their Application
Martin, Grant: ESL Models and their Application
Aus119.99 EUR 3
Produkt anzeigen
Zilic, Zeljko: Generating Hardware Assertion Checkers
Zilic, Zeljko: Generating Hardware Assertion Checkers
Aus106.99 EUR 3
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Aus53.49 EUR 3
Produkt anzeigen
Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits
Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits
Aus69.00 EUR 1
Produkt anzeigen
Vérification et validation formelles de modèles UML: Approches et outils
Vérification et validation formelles de modèles UML: Approches et outils
Aus69.00 EUR 1
Produkt anzeigen
Menü