Principles of Concurrent and Distributed Programming: Algorithms and Models (Prentice-Hall International Series in Computer Science)
📄 Viewing lite version
Full site ›
⌛ 🇫🇷 France pricing being fetched…
Prices will appear once fetched — usually within a few minutes.
Book Details
Author(s)Mordechai Ben-Ari
PublisherAddison Wesley
ISBN / ASIN032131283X
ISBN-139780321312839
CategoryComputers
MarketplaceFrance 🇫🇷
Description ▲
Principles of Concurrent and Distributed Programming 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. Full description