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

Home

Barnes and Noble

Compositional Verification of Concurrent and Real-Time Systems / Edition 1

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

You May Also Like

Concurrent and Real-time Systems: The CSP Approach / Edition 1

Concurrent and Real-time Systems: The CSP Approach / Edition 1

Barnes and Noble
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems / Edition 1

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems / Edition 1

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

Hybrid Systems III: Verification and Control / Edition 1

Barnes and Noble
Coloured Petri Nets: Modelling and Validation of Concurrent Systems / Edition 1

Coloured Petri Nets: Modelling and Validation of Concurrent Systems / Edition 1

Barnes and Noble
Verifying Temporal Properties of Systems

Verifying Temporal Properties of Systems

Barnes and Noble
Constraint-Based Verification / Edition 1

Constraint-Based Verification / Edition 1

Barnes and Noble
Real-Time and Distributed Real-Time Systems: Theory and Applications / Edition 1

Real-Time and Distributed Real-Time Systems: Theory and Applications / Edition 1

Barnes and Noble
A Unified Approach for Timing Verification and Delay Fault Testing / Edition 1

A Unified Approach for Timing Verification and Delay Fault Testing / 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
SAT-Based Scalable Formal Verification Solutions / Edition 1

SAT-Based Scalable Formal Verification Solutions / Edition 1

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

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

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

Advances in Hardware Design and Verification / Edition 1

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

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

Barnes and Noble
UML for Real: Design of Embedded Real-Time Systems / Edition 1

UML for Real: Design of Embedded Real-Time Systems / Edition 1

Barnes and Noble
Logic Synthesis and Verification / Edition 1

Logic Synthesis and Verification / Edition 1

Barnes and Noble
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout / Edition 1

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout / Edition 1

Barnes and Noble
Powered by Adeptmind