Principles of Concurrent and Distributed Programming, Paperback/M. Ben-Ari
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
-11%
William Morrow & Company
Jewish Humor: What the Best Jewish Jokes Say about the Jews, Paperback/Joseph Telushkin
92,71 RON
103,99 RON
elefant.ro
-16%
Andersen Press
Burping Bertha, Paperback/Michael Rosen
42,99 RON
50,99 RON
elefant.ro
-24%
Button Books
Manga Classics: Romeo and Juliet. Great Literature Brought to Life, Paperback/***
71,69 RON
93,99 RON
elefant.ro
Thieme Publishing Group
The Chest X-Ray. A Systematic Teaching Atlas, Paperback/Matthias Hofer
191,99 RON
elefant.ro