Kategorien

Zu "formal specification" wurden 9 Produkte gefunden

Filter
–
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
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems S. Ramesh, Prahladavaradan Sampath

213,99 €*
Download
PDF
Formal Models of Operating System Kernels
Formal Models of Operating System Kernels Iain D. Craig

149,79 €*
Download
PDF
A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification Pallab Dasgupta

128,39 €*
Download
PDF
Automatic Program Development
Automatic Program Development Olivier Danvy, Harry Mairson, Fritz Henglein, Alberto Pettorossi

128,39 €*
Download
PDF
Model-Driven Architecture in Practice
Model-Driven Architecture in Practice Óscar Pastor, Juan Carlos Molina

53,49 €*
Download
PDF
Dynamic Epistemic Logic
Dynamic Epistemic Logic Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi

96,29 €*
Download
PDF
Modern Formal Methods and Applications
Modern Formal Methods and Applications Hossam A. Gabbar

149,79 €*
Download
PDF
Parallel Sparse Direct Solver for Integrated Circuit Simulation
Parallel Sparse Direct Solver for Integrated Circuit Simulation Xiaoming Chen, Yu Wang, Huazhong Yang

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