Principles of Concurrent and Distributed Programming, Paperback/M. Ben-Ari

Descriere & specificații

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.

Produse similare

Pearson Education (US)Microsoft Visual C# Step by Step. 10 ed, Paperback/John Sharp

323,00 lei355,99 lei-9%

Pearson Education (US)Reliability Engineering in the Cloud. Strategies and Practices for AI-Powered Cloud-Based Systems, Paperback/Carlos Rojas

233,99 lei

Pearson Education (US)Wild West to Agile. Adventures in Software Development Evolution and Revolution, Paperback/Jim Highsmith

187,99 lei

Pearson Education (US)Programming. Principles and Practice Using C++, 3 ed, Paperback/Bjarne Stroustrup

471,00 lei518,99 lei-9%

Pearson Education (US)Wi-Fi 7 In Depth. Your guide to mastering Wi-Fi 7, the 802.11be protocol, and their deployment, Paperback/Malcolm Smith

260,09 lei

Pearson Education (US)Cisco pyATS — Network Test and Automation Solution. Data-driven and reusable testing for modern networks, Paperback/Dan Wade

324,99 lei

Pearson Education (US)CCNA 200-301 Official Cert Guide, Volume 1. 2 ed, Paperback/Wendell Odom

316,00 lei347,99 lei-9%

Weidenfeld & NicolsonCeviche, Hardcover/Martin Morales

216,99 lei

Warriors Publishing GroupDustoff 7-3: Saving Lives Under Fire in Afghanistan, Paperback/Erik Sabiston

70,00 lei83,99 lei-17%

John Wiley and Sons LtdRelational Integrative Psychotherapy. Engaging Process and Theory in Practice, Paperback/Linda Finlay

322,00 lei370,99 lei-13%

John Wiley and Sons LtdSUMO (Shut Up, Move On). The Straight-Talking Guide to Succeeding in Life, 20th Anniversary Edition, 4 ed, Paperback/Paul (Paul McGee Associates, UK) McGee

93,99 lei

Book TreeWitchcraft Today, Paperback/Gerald B. Gardner

84,99 lei