Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
Austrian Post 5.49 €
GLS courier 4.99 €
DPD courier 4.49 €
DPD point 3.49 €
Shopping guide
My account
▸
Empty :-(
0
Concurrency Theory
Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Language
English
English
Book
Hardback
Offers an introduction to LOTOS highlighting how the approach differs from competitor techniques suc...
Full description
Libristo code: 08856660
?
368 b
368 b
150.19
€
VAT included
Low in stock at our supplier
Shipping in 13-18 days
Delivery to Austria
Delivery to Austria
Up to 30 days for returns
Customers also purchased
/
Paperback
18.95
€
Offers an introduction to LOTOS highlighting how the approach differs from competitor techniques such as CCS and CSP. The authors also generalise the simple communicating automata notation to yield timed automata with multi-way synchronisation using model-checking verification methods and new techniques to prevent time-locks from arising.
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Concurrency Theory
Author
Rodolfo Gomez
Language
English
English
Binding
Book - Hardback
Date of issue
2005
Number of pages
422
EAN
9781852338954
ISBN
9781852338954
Libristo code
08856660
Publishers
Springer London Ltd
Weight
847
Dimensions
155 x 235 x 25
Categories
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's addressYou might also be interested in
/
Paperback
12.39
€
/
Paperback
11.69
€
/
Paperback
15.69
€
/
Paperback
25.99
€
/
Paperback
23.69
€
