Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems by Bowman, Howard

Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems (Paperback) (ISBN-13: 9781849969512)

Vendor: Howard Bowman
Product type: Books
Format: Paperback
$169.99
$169.99
$169.99
Subtotal: $169.99
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems by Bowman, Howard

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

$169.99
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems by Bowman, Howard

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

$169.99
Format: Paperback
Description
Description
x

The field of concurrency theory is becoming increasingly important, with the problem of formally verifying concurrent distributed systems a critical consideration and a major topic for the software industries. This book, with its extensive applications of the techniques involved in the field of concurrency theory, is the first to adopt this new approach.



Author: Howard Bowman,Rodolfo Gomez
ISBN-10: 1849969515
ISBN-13: 9781849969512
Publisher: Springer
Language: English
Published: 10/13/2010
Pages: 422
Format: Paperback
Weight: 1.41lbs
Size: 9.21h x 6.14w x 0.93d

Recently Viewed Products