Kategorien

Zu "formal method" wurden 11 Produkte gefunden

Filter
–
Download
PDF
MULTICORE SYSTEMS ON-CHIP
MULTICORE SYSTEMS ON-CHIP Ben Abadallah Abderazek

90,95 €*
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
Computer-Aided Design of User Interfaces IV
Computer-Aided Design of User Interfaces IV Robert J.K. Jacob, Quentin Limbourg, Jean Vanderdonckt

223,63 €*
Download
PDF
Logic, Thought and Action
Logic, Thought and Action Daniel Vanderveken

234,33 €*
Download
PDF
Engineering Theories of Software Intensive Systems
Engineering Theories of Software Intensive Systems Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare

160,49 €*
Download
PDF
Design Computing and Cognition '06
Design Computing and Cognition '06 Asko Riitahuhta

213,99 €*
Download
PDF
A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification Pallab Dasgupta

128,39 €*
Download
PDF
Methods and Procedures for the Verification and Validation of Artificial Neural Networks
Methods and Procedures for the Verification and Validation of Artificial Neural Networks Brian J. Taylor

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

149,79 €*
Download
PDF
Modern Formal Methods and Applications
Modern Formal Methods and Applications Hossam A. Gabbar

149,79 €*
Download
PDF
Constraint-Based Verification
Constraint-Based Verification Jun Yuan, Carl Pixley, Adnan Aziz

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