Carta PAYBACK di Mondadori
Su Mondadori Store, con la tua carta PAYBACK ti premi ad ogni acquisto.
M. Ben Ari
pubblicato da
Pearson Education (US)
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.
Scrivi una recensione per "Principles of Concurrent and Distributed Programming"
Torna in cima
dai un voto
