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

Home

Barnes and Noble

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

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

You May Also Like

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

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

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

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

From Barnes and Noble
Introduction to Concurrency Theory: Transition Systems and CCS
Barnes and Noble

Introduction to Concurrency Theory: Transition Systems and CCS

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

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

From Barnes and Noble
Algebraic Theory for True Concurrency
Barnes and Noble

Algebraic Theory for True Concurrency

From Barnes and Noble
Transactions on Petri Nets and Other Models of Concurrency XV
Barnes and Noble

Transactions on Petri Nets and Other Models of Concurrency XV

From Barnes and Noble
Elements of Automata Theory
Barnes and Noble

Elements of Automata Theory

From Barnes and Noble
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Barnes and Noble

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach

From Barnes and Noble
Concurrent Engineering: Automation, Tools, and Techniques / Edition 1
Barnes and Noble

Concurrent Engineering: Automation, Tools, and Techniques / Edition 1

From Barnes and Noble
Computational Ergodic Theory / Edition 1
Barnes and Noble

Computational Ergodic Theory / Edition 1

From Barnes and Noble
Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools / Edition 1
Barnes and Noble

Sequential Optimization of Asynchronous and Synchronous Finite-State Machines: Algorithms and Tools / Edition 1

From Barnes and Noble
Models and Algorithms of Time-Dependent Scheduling / Edition 2
Barnes and Noble

Models and Algorithms of Time-Dependent Scheduling / Edition 2

From Barnes and Noble
Concurrency: The Works of Leslie Lamport / Edition 1
Barnes and Noble

Concurrency: The Works of Leslie Lamport / Edition 1

From Barnes and Noble
Advances in Time-Delay Systems / Edition 1
Barnes and Noble

Advances in Time-Delay Systems / Edition 1

From Barnes and Noble
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 / Edition 1
Barnes and Noble

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988 / Edition 1

From Barnes and Noble
A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automata
Barnes and Noble

A Framework for Automated HW/SW Co-Verification of SystemC Designs using Timed Automata

From Barnes and Noble
Powered by Adeptmind