Zur Startseite wechseln
0,00 €*
Kategorien

Zu "formal methods" wurden 14 Produkte gefunden

Filter
Download
PDF
HCI and Usability for Medicine and Health Care
HCI and Usability for Medicine and Health Care
83,29 €*
Download
PDF
Validated Designs for Object-oriented Systems
Validated Designs for Object-oriented Systems
71,39 €*
Download
PDF
MULTICORE SYSTEMS ON-CHIP
MULTICORE SYSTEMS ON-CHIP
90,95 €*
Download
PDF
Model-Driven Dependability Assessment of Software Systems
Model-Driven Dependability Assessment of Software Systems
96,29 €*
Download
PDF
Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications
171,19 €*
Download
PDF
High Assurance Services Computing
High Assurance Services Computing
160,49 €*
Download
PDF
Test Pattern Generation using Boolean Proof Engines
Test Pattern Generation using Boolean Proof Engines
117,69 €*
Download
PDF
Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification
96,29 €*
Download
PDF
Adapting Proofs-as-Programs
Adapting Proofs-as-Programs
149,79 €*
Download
PDF
Mobility in Process Calculi and Natural Computing
Mobility in Process Calculi and Natural Computing
96,29 €*
Download
PDF
Provably Correct Systems
Provably Correct Systems
128,39 €*
Download
PDF
Constraint-Based Verification
Constraint-Based Verification
149,79 €*
Download
PDF
The Correctness-by-Construction Approach to Programming
The Correctness-by-Construction Approach to Programming
96,29 €*
Download
PDF
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems
53,49 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...