Ebook: Principles of Concurrent and Distributed Programming: Algorithms and Models
Author: M. Ben-Ari
- Genre: Computers // Programming
- Tags: Architecture Microprocessors Computer Science Computing Internet Amazon Online Shopping Digital Lifestyle Algorithms Programming Languages Tools
- Series: Prentice-Hall International Series in Computer Science
- Year: 2006
- Publisher: Addison Wesley
- City: Harlow
- Edition: 2
- Language: English
- djvu
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.
Download the book Principles of Concurrent and Distributed Programming: Algorithms and Models for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)