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 Andreas Holzinger

83,29 €*
Download
PDF
Validated Designs for Object-oriented Systems
Validated Designs for Object-oriented Systems John S. Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat, Marcel Verhoef

71,39 €*
Download
PDF
MULTICORE SYSTEMS ON-CHIP
MULTICORE SYSTEMS ON-CHIP Ben Abadallah Abderazek

90,95 €*
Download
PDF
Model-Driven Dependability Assessment of Software Systems
Model-Driven Dependability Assessment of Software Systems Simona Bernardi, Jose Merseguer, Dorina C Petriu

96,29 €*
Download
PDF
Design and Verification of Microprocessor Systems for High-Assurance Applications
Design and Verification of Microprocessor Systems for High-Assurance Applications Torben Amtoft, Selly Browning, Jared Davis, Anthony C. J. Fox, David A. Greve, Michael J. C. Gordon

171,19 €*
Download
PDF
High Assurance Services Computing
High Assurance Services Computing Jing Dong, Raymond Paul, Liang-Jie Zhang

160,49 €*
Download
PDF
Test Pattern Generation using Boolean Proof Engines
Test Pattern Generation using Boolean Proof Engines Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille

117,69 €*
Download
PDF
Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification Sandip Ray

96,29 €*
Download
PDF
Adapting Proofs-as-Programs
Adapting Proofs-as-Programs Iman Poernomo, John N. Crossley, Martin Wirsing

149,79 €*
Download
PDF
Mobility in Process Calculi and Natural Computing
Mobility in Process Calculi and Natural Computing Bogdan Aman, Gabriel Ciobanu

96,29 €*
Download
PDF
Provably Correct Systems
Provably Correct Systems Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog

128,39 €*
Download
PDF
Constraint-Based Verification
Constraint-Based Verification Jun Yuan, Carl Pixley, Adnan Aziz

149,79 €*
Download
PDF
The Correctness-by-Construction Approach to Programming
The Correctness-by-Construction Approach to Programming Derrick G. Kourie, Bruce W. Watson

96,29 €*
Download
PDF
Formal Modeling and Verification of Cyber-Physical Systems
Formal Modeling and Verification of Cyber-Physical Systems Rolf Drechsler, Ulrich Kühne

53,49 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...