Principles of Concurrent and Distributed Programming
2901 Kč
Odesíláme do 5 až 7 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..
-
Super You
Walker, Randy
-
Patient Care Skills
Minor, Scott Duesterhaus; Minor, Mary Alice Duesterhaus
-
Clean Architecture
Robert C. Martin
-
Learn More Python 3 the Hard Way
Shaw Zed A.
-
Light It, Shoot It, Retouch It
Scott Kelby
-
Designing Connected Content
Hane, Carrie; Atherton, Mike
-
Learn Adobe Illustrator CC for Graph...
Chelius, Chad; Schwartz, Rob
-
CUDA for Engineers
Storti, Duane; Yurtoglu, Mete
-
From Reading to Writing 1
Bonesteel Lynn
-
Augmented Reality
Schmalstieg, Dieter; Hollerer, Tobias
-
Natural Resource and Environmental E...
Perman, Roger; Ma Yue; McGilvray, James; Common, Michael S.; Maddison, David
-
Agile IT Organization Design
Narayan, Sriram
-
The Non-Designer's Design Book
Williams Robin
-
SQL Queries for Mere Mortals
John L. Viescas
-
Learn Python 3 the Hard Way
Shaw Zed A.
-
Large-Scale Scrum
CRAIG LARMAN