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
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:31
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
Produkt anzeigen
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
Produkt anzeigen
HPE MSL6480 Datenverfügbarkeit für 100-Kartensysteme E-LTU
HPE MSL6480 Datenverfügbarkeit für 100-Kartensysteme E-LTU
Produkt anzeigen
Martin, Grant: ESL Models and their Application
Martin, Grant: ESL Models and their Application
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
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
Produkt anzeigen
Menü