Principles of Concurrent and Distributed Programming
2633 Kč
Odesíláme do 1 až 2 tý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..
-
Elements of Robotics
Faridi, Ben
-
Learn More Python 3 the Hard Way
Shaw Zed A.
-
Learn Python 3 the Hard Way
Shaw Zed A.
-
Continuous Integration
Duvall, Paul M.; Matyas, Steve; Glover, Andrew
-
SQL Queries for Mere Mortals
John L. Viescas
-
More Agile Testing
Gregory, Janet; Crispin, Lisa
-
The Truthful Art
Cairo, Alberto
-
Augmented Reality
Schmalstieg, Dieter; Hollerer, Tobias
-
Applying UML and Patterns
CRAIG LARMAN
-
Prolog Programming for Artificial In...
Bratko, Ivan
-
Rocket Surgery Made Easy
Steve Krug
-
Core Java Volume I--Fundamentals, 1
Horstmann Cay S.
-
Bayesian Methods for Hackers
Davidson-Pilon, Cameron
-
HTML, CSS, and JavaScript All in One
Meloni, Julie C.
-
Writing Effective Use Cases
Alistair Cockburn
-
Scala for the Impatient
Horstmann Cay S.