4571978
9781852338954
Concurrency Theory Calculi an Automata for Modelling Untimed And Timed Concurrent Systems
by Bowman, Howard, Gomez, Rodolfo
8823
List Price
Discount
41% Off
You Save
$54.16
About this item
- Condition: New
- Provider: Bookjunction
- Provider Rating: 73%
- Ships From: STERLING HEIGHTS, MI
- Shipping: Standard
- Comments: New, US edition. Satisfaction guaranteed!!
370333
About this item
- Condition: Good
- Provider: Bonita
- Provider Rating: 0%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Product details
- ISBN-13: 9781852338954
- ISBN: 1852338954
- Publication Date: 2005
- Publisher: Springer
AUTHOR
SUMMARY
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, adopts this approach.Bowman, Howard is the author of 'Concurrency Theory Calculi an Automata for Modelling Untimed And Timed Concurrent Systems', published 2005 under ISBN 9781852338954 and ISBN 1852338954.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
