Principles of Concurrent and Distributed Programming
2847 Kč
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.
-
Augmented Reality
Schmalstieg, Dieter; Hollerer, Tobias
-
Building Data Centers with VXLAN BGP...
Krattiger, Lukas; Kapadia, Shyam; Jansen, David
-
Component-Based Rails Applications
Hagemann, Stephan
-
SQL Queries for Mere Mortals
John L. Viescas
-
Applying UML and Patterns
CRAIG LARMAN
-
Writing Effective Use Cases
Alistair Cockburn
-
ASP.NET Core in 24 Hours, Sams Teach...
Fritz, Jeffrey T.
-
Python Without Fear
Overland, Brian
-
Microsoft Visual Studio LightSwitch ...
Sole, Ray del
-
Business Analysis Agility
James Robertson
-
Game Programming in C++
Madhav, Sanjay
-
Foundations of Modern Networking
Stallings William
-
CCNA Cybersecurity Operations Course...
Cisco Networking Academy; Johnson, Allan
-
Modern Information Retrieval
Baeza-Yates, Ricardo; Ribeiro-Neto, Berthier
-
The XML Companion
Neil Bradley
