Principles of Concurrent and Distributed Programming
2854 Kč
Expedujeme 1 až 2 dny
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..
-
Learn More Python 3 the Hard Way
Shaw Zed A.
-
Applying UML and Patterns
CRAIG LARMAN
-
Prolog Programming for Artificial In...
Bratko, Ivan
-
Bayesian Methods for Hackers
Davidson-Pilon, Cameron
-
Writing Effective Use Cases
Alistair Cockburn
-
Network Defense and Countermeasures
Easttom, William (Chuck), II
-
Design Patterns Explained
Shalloway, Alan; Trott, James R.
-
Unreal Engine VR Cookbook
McCaffrey, Mitch
-
Routing TCP/IP, Volume 1
Doyle, Jeff; Carroll, Jennifer DeHaven
-
Modern Information Retrieval
Baeza-Yates, Ricardo; Ribeiro-Neto, Berthier
-
Extreme Programming Explained
Kent Beck
-
Advanced Game Design
Sellers, Michael
-
The XML Companion
Neil Bradley
-
Augmented Reality
Schmalstieg, Dieter; Hollerer, Tobias
-
Rocket Surgery Made Easy
Steve Krug
-
C++ in 24 Hours, Sams Teach Yourself
Rogers Cadenhead