Principles of Concurrent and Distributed Programming
M. Ben-Ari
9780321312839
onload="displayBookAvailableStatusC()"/>
Rating:
Rs. 53193.00
Delivery in 25 - 45 working days
Covid-19 Notice
Due to the current situation the Delivey will be delayed than the standard shipping period (21 working days)
Call our hotline 011 7 463 463
Additional Information
Add to wishlist
| Author(s) :- M. Ben-Ari | Format :- Paperback |
| Publisher :- Pearson Education (US) | Pub. Date :- 2005-11-23 |
| ISBN-13 :- 9780321312839 | |
| Edition:- 2 ed | |
| Dimensions :- 173 x 234 x 20 | |
| Weight :- 632 |
Description
From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and the use of the Spin model checker for modeling concurrent systems and verifying program correctness.
