Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Barcode: 09780470253397
Brand: Wiley
There are no offers for this product at this time.

More From Wiley

The Technical Avalanche Protection Handbook
The Technical Avalanche Protection Handbook
from £80.75
Ultra-High Performance Concrete UHPC : Fundamentals, Design, Examples
Ultra-High Performance Concrete UHPC : Fundamentals, Design, Examples
from £33.96
Organic Nanostructures
Organic Nanostructures
from £145.31
Food Processing Handbook
Food Processing Handbook
from £140.21
Alloys : Preparation, Properties, Applications
Alloys : Preparation, Properties, Applications
from £121.51
Surface Characterization : A User's Sourcebook
Surface Characterization : A User's Sourcebook
from £164.01
Terpenes : Flavors, Fragrances, Pharmaca, Pheromones
Terpenes : Flavors, Fragrances, Pharmaca, Pheromones
from £58.61
Modern Fluoroorganic Chemistry : Synthesis, Reactivity, Applications
Modern Fluoroorganic Chemistry : Synthesis, Reactivity, Applications
from £110.46
Stereoselective Synthesis : A Practical Approach
Stereoselective Synthesis : A Practical Approach
from £74.76
Freeze-Drying
Freeze-Drying
from £118.96
Microoptics
Microoptics
from £145.31
Functional Hybrid Materials
Functional Hybrid Materials
from £225.21
Structure Correlation
Structure Correlation
from £169.96
Functional Synthetic Receptors
Functional Synthetic Receptors
from £174.21
Earth Pressure
Earth Pressure
from £72.25
Industrial Inorganic Chemistry
Industrial Inorganic Chemistry
from £154.66
Nanocrystals Forming Mesoscopic Structures
Nanocrystals Forming Mesoscopic Structures
from £160.61
Modern Carbonyl Chemistry
Modern Carbonyl Chemistry
from £126.61
NMR Spectroscopy : Processing Strategies
NMR Spectroscopy : Processing Strategies
from £151.26
Graduate Mathematical Physics
Graduate Mathematical Physics
from £65.41

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Supervisory Control of Discrete Event Systems Using Petri Nets
Supervisory Control of Discrete Event Systems Using Petri Nets
from £110.08
Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications
Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications
from £67.58
Petri Nets : Fundamental Models, Verification and Applications
Petri Nets : Fundamental Models, Verification and Applications
from £263.46
Petri Nets : Fundamental Models, Verification and Applications
Petri Nets : Fundamental Models, Verification and Applications
from £263.46
Coloured Petri Nets : Modelling and Validation of Concurrent Systems
Coloured Petri Nets : Modelling and Validation of Concurrent Systems
from £45.89
Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach
Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach
from £110.08
Formal Verification of Circuits
Formal Verification of Circuits
from £110.08
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems
from £59.49
Modeling and Control of Discrete-event Dynamic Systems : with Petri Nets and Other Tools
Modeling and Control of Discrete-event Dynamic Systems : with Petri Nets and Other Tools
from £50.99
Specification and Verification of Concurrent Systems
Specification and Verification of Concurrent Systems
from £38.24
Verification of Digital and Hybrid Systems
Verification of Digital and Hybrid Systems
from £76.08
Petri Net Technology for Communication-Based Systems : Advances in Petri Nets
Petri Net Technology for Communication-Based Systems : Advances in Petri Nets
from £38.24
Using Petri Nets to Model the Chemical Stages of the Radiobiological Mechanism
Using Petri Nets to Model the Chemical Stages of the Radiobiological Mechanism
from £110.50
Verification, Validation, and Testing of Engineered Systems
Verification, Validation, and Testing of Engineered Systems
from £129.16
Specification and Verification of Multi-agent Systems
Specification and Verification of Multi-agent Systems
from £110.08
Verification, Validation, and Testing of Engineered Systems
Verification, Validation, and Testing of Engineered Systems
from £129.16
Supervision of Petri Nets
Supervision of Petri Nets
from £152.58
Simulation and Verification of Electronic and Biological Systems
Simulation and Verification of Electronic and Biological Systems
from £76.08
Lectures on Concurrency and Petri Nets : Advances in Petri Nets
Lectures on Concurrency and Petri Nets : Advances in Petri Nets
from £76.08
CAD of Circuits and Integrated Systems
CAD of Circuits and Integrated Systems
from £118.11