Principles of Concurrent and Distributed Programming
2681 Kč
Odesíláme do 3 až 5 dní
Sleva až 70% u třetiny knih
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.
| Autor: | Faridi, Ben |
| Nakladatel: | Pearson Education (US) |
| ISBN: | 9780321312839 |
| Rok vydání: | 2005 |
| Jazyk : | Angličtina |
| Vazba: | Paperback |
| Počet stran: | 384 |
Mohlo by se vám také líbit..
-
Agile IT Organization Design
Narayan, Sriram
-
Digital Marketing Analytics
Hemann, Chuck; Burbary, Ken
-
The Power of People
Guenole, Nigel; Ferrar, Jonathan; Feinzig, Sheri
-
Customer Service
Timm, Paul R.
-
The Professional Product Owner
McGreal, Don; Jocham, Ralph
-
Improving Agile Retrospectives
Loeffler, Marc
-
Project Management for Information S...
Cadle, James; Eva, Malcolm; Hindle, Keith; Paul, Debra; Turner, Paul; Rollason, Craig; Yeates, Donald
-
Introductory Mathematical Analysis f...
Haeussler, Ernest F.; Paul, Richard S.; Wood, Richard J.
-
Large-Scale Scrum
CRAIG LARMAN
-
Working in the Cloud
Rich, Jason R.
-
The Non-Designer's Presentation ...
Williams Robin
-
Clean Architecture
Robert C. Martin
-
Learn More Python 3 the Hard Way
Shaw Zed A.
-
Scaling Networks v6 Labs & Study Guide
Cisco Networking Academy; Johnson, Allan
-
Light It, Shoot It, Retouch It
Scott Kelby
-
The Non-Designer's Design Book
Williams Robin