The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Software Verification and Validation: An Engineering and Scientific Approach / Edition 1

Software Verification and Validation: An Engineering and Scientific Approach / Edition 1

Barnes and Noble
Hybrid Systems III: Verification and Control / Edition 1

Hybrid Systems III: Verification and Control / Edition 1

Barnes and Noble
Modelling Systems: Practical Tools and Techniques in Software Development / Edition 2

Modelling Systems: Practical Tools and Techniques in Software Development / Edition 2

Barnes and Noble
Embedded System Design: Modeling, Synthesis and Verification / Edition 1

Embedded System Design: Modeling, Synthesis and Verification / Edition 1

Barnes and Noble
Building Information Modeling: Automated Code Checking and Compliance Processes / Edition 1

Building Information Modeling: Automated Code Checking and Compliance Processes / Edition 1

Barnes and Noble
Current Trends in Hardware Verification and Automated Theorem Proving / Edition 1

Current Trends in Hardware Verification and Automated Theorem Proving / Edition 1

Barnes and Noble
Modeling and Simulation-Based Systems Engineering Handbook / Edition 1

Modeling and Simulation-Based Systems Engineering Handbook / Edition 1

Barnes and Noble
Symbolic Model Checking

Symbolic Model Checking

Barnes and Noble
High-Level Verification: Methods and Tools for Verification of System-Level Designs

High-Level Verification: Methods and Tools for Verification of System-Level Designs

Barnes and Noble
Formal Methods and Models for System Design: A System Level Perspective / Edition 1

Formal Methods and Models for System Design: A System Level Perspective / Edition 1

Barnes and Noble
Advances in Hardware Design and Verification / Edition 1

Advances in Hardware Design and Verification / Edition 1

Barnes and Noble
Systems Engineering Tools and Methods / Edition 1

Systems Engineering Tools and Methods / Edition 1

Barnes and Noble
Mathematical Models and Methods for Real World Systems / Edition 1

Mathematical Models and Methods for Real World Systems / Edition 1

Barnes and Noble
Mathematical Models for Systems Reliability / Edition 1

Mathematical Models for Systems Reliability / Edition 1

Barnes and Noble
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

Barnes and Noble
Fault Detection and Diagnosis in Engineering Systems / Edition 1

Fault Detection and Diagnosis in Engineering Systems / Edition 1

Barnes and Noble
Powered by Adeptmind