| Store |
Condition |
Deals & Coupons | Price |
Est. Shipping |
Total |
Buy |
|---|---|---|---|---|---|---|
| Sorry we could not find any result for “9780137118212” | ||||||
This textbook provides a comprehensive introduction to the principles of concurrent and distributed programming. It begins with the basics of concurrent execution, covering synchronization primitives, mutual exclusion algorithms, semaphores, monitors, and message passing. The book then explores distributed systems, including distributed mutual exclusion, termination detection, and distributed snapshots. Ben-Ari emphasizes formal verification and correctness proofs, using pseudocode and state diagrams to illustrate concepts. The text balances theory with practical examples, making it suitable for undergraduate and graduate courses. It also discusses deadlock, starvation, and fault tolerance. With its clear explanations and rigorous approach, this book equips readers with the foundational knowledge needed to design and analyze concurrent and distributed systems.
This book is intended for undergraduate and graduate students in computer science, as well as software engineers and system architects interested in concurrency and distributed systems. It is suitable for those with a basic understanding of programming and algorithms who want to learn the theoretical foundations and practical techniques for building reliable concurrent and distributed software. Instructors will find it a valuable resource for courses on parallel and distributed computing.
- ✓ Clear and rigorous explanations of fundamental concepts
- ✓ Strong emphasis on formal verification and correctness proofs
- ✓ Comprehensive coverage of both concurrent and distributed programming
- ✓ Includes practical pseudocode and examples
- ✓ Well-structured for classroom use with exercises
- ✗ Some examples may feel dated to modern practitioners
- ✗ Assumes prior knowledge of algorithms and programming
- ✗ Lacks coverage of recent distributed systems technologies
- ✗ Pseudocode may not directly translate to specific languages
- ✗ Limited focus on practical implementation details
At Windsorbooks, we compare prices from trusted sellers so you can buy, rent, or sell textbooks at the best total price — shipping included.
As an Amazon Associate, Windsorbooks.com may earn a small commission on qualifying purchases.