Principles of Concurrent and Distributed Programming
2988 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..
-
Learn More Python 3 the Hard Way
Shaw Zed A.
-
Component-Based Rails Applications
Hagemann, Stephan
-
Building Data Centers with VXLAN BGP...
Krattiger, Lukas; Kapadia, Shyam; Jansen, David
-
Augmented Reality
Schmalstieg, Dieter; Hollerer, Tobias
-
Prolog Programming for Artificial In...
Bratko, Ivan
-
Rocket Surgery Made Easy
Steve Krug
-
HTML, CSS, and JavaScript All in One
Meloni, Julie C.
-
Writing Effective Use Cases
Alistair Cockburn
-
Security Operations Center
Muniz Joseph, Lakhani Aamir
-
Design Patterns Explained
Shalloway, Alan; Trott, James R.
-
Learning Angular
Dayley Brad
-
The Truthful Art
Cairo, Alberto
-
Advanced Android Application Develop...
Annuzzi, Joseph; Darcey, Lauren; Conder, Shane
-
Games, Design and Play
Macklin, Colleen; Sharp, John
-
IT Essentials Companion Guide v6
Cisco Networking Academy; Johnson, Allan
-
Modern Information Retrieval
Baeza-Yates, Ricardo; Ribeiro-Neto, Berthier
