.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Principles of Concurrent and Distributed Programming
M. Ben-Ari
€ 97.71
FREE Delivery in Ireland
Description for Principles of Concurrent and Distributed Programming
Paperback. 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. Num Pages: 384 pages, illustrations. BIC Classification: UMB; UY. Category: (U) Tertiary Education (US: College). Dimension: 173 x 234 x 20. Weight in Grams: 632.
The latest edition of a classic text on concurrency and distributed programming – from a winner of the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education.
Product Details
Publisher
Pearson Education (US) United States
Number of pages
384
Format
Paperback
Publication date
2005
Condition
New
Number of Pages
384
Place of Publication
New Jersey, United States
ISBN
9780321312839
SKU
V9780321312839
Shipping Time
Usually ships in 4 to 8 working days
Ref
99-2
About M. Ben-Ari
Mordechai (Moti) Ben-Ari is an Associate Professor in the Department of Science Teaching at the Weizmann Institute of Science in Rehovot, Israel. He is the author of texts on Ada, concurrent programming, programming languages, and mathematical logic, as well as Just a Theory: Exploring the Nature of Science. In 2004 he was honored with the ACM/SIGCSE Award for Outstanding Contribution ... Read more
Reviews for Principles of Concurrent and Distributed Programming