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

Home

Barnes and Noble

Verifying Temporal Properties of Systems

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

You May Also Like

Temporal Verification of Reactive Systems: Safety
Loading Inventory...
Barnes & Noble

Temporal Verification of Reactive Systems: Safety

Current price: $109.99
From Barnes & Noble
Specification and Verification of Concurrent Systems
Loading Inventory...
Barnes & Noble

Specification and Verification of Concurrent Systems

Current price: $54.99
From Barnes & Noble
Security Policy in System-on-Chip Designs: Specification, Implementation and Verification
Loading Inventory...
Barnes & Noble

Security Policy in System-on-Chip Designs: Specification, Implementation and Verification

Current price: $54.99
From Barnes & Noble
Formal Hardware Verification: Methods and Systems in Comparison
Loading Inventory...
Barnes & Noble

Formal Hardware Verification: Methods and Systems in Comparison

Current price: $54.99
From Barnes & Noble
System-on-a-Chip Verification: Methodology and Techniques
Loading Inventory...
Barnes & Noble

System-on-a-Chip Verification: Methodology and Techniques

Current price: $179.00
From Barnes & Noble
Systems and Software Verification: Model-Checking Techniques Tools
Loading Inventory...
Barnes & Noble

Systems and Software Verification: Model-Checking Techniques Tools

Current price: $159.99
From Barnes & Noble
European Cities, Planning Systems and Property Markets
Loading Inventory...
Barnes & Noble

European Cities, Planning Systems and Property Markets

Current price: $82.99
From Barnes & Noble
Statistical Methods for Spatio-Temporal Systems
Loading Inventory...
Barnes & Noble

Statistical Methods for Spatio-Temporal Systems

Current price: $89.99
From Barnes & Noble
Design, Specification and Verification of Interactive Systems '98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3-5, 1998
Loading Inventory...
Barnes & Noble

Design, Specification and Verification of Interactive Systems '98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3-5, 1998

Current price: $54.99
From Barnes & Noble
Computing the Optical Properties of Large Systems
Loading Inventory...
Barnes & Noble

Computing the Optical Properties of Large Systems

Current price: $109.99
From Barnes & Noble
Properties of Infinite Dimensional Hamiltonian Systems
Loading Inventory...
Barnes & Noble

Properties of Infinite Dimensional Hamiltonian Systems

Current price: $39.95
From Barnes & Noble
Structure and Functional Properties of Colloidal Systems
Loading Inventory...
Barnes & Noble

Structure and Functional Properties of Colloidal Systems

Current price: $110.99
From Barnes & Noble
Computer-Based Modeling of Novel Carbon Systems and Their Properties: Beyond Nanotubes
Loading Inventory...
Barnes & Noble

Computer-Based Modeling of Novel Carbon Systems and Their Properties: Beyond Nanotubes

Current price: $99.00
From Barnes & Noble
Transport and Thermal Properties of f-Electron Systems
Loading Inventory...
Barnes & Noble

Transport and Thermal Properties of f-Electron Systems

Current price: $209.00
From Barnes & Noble
Limit Theorems for Markov Chains and Stochastic Properties of Dynamical Systems by Quasi-Compactness
Loading Inventory...
Barnes & Noble

Limit Theorems for Markov Chains and Stochastic Properties of Dynamical Systems by Quasi-Compactness

Current price: $49.95
From Barnes & Noble
Frequency Domain Properties of Scalar and Multivariable Feedback Systems
Loading Inventory...
Barnes & Noble

Frequency Domain Properties of Scalar and Multivariable Feedback Systems

Current price: $109.99
From Barnes & Noble
Powered by Adeptmind