Rahva Raamat logo
Kategooriad
Rahva Raamat logo
Kategooriad
Raamatud
E-Raamatud
Mängud
Kool ja kontor
Kingitused
Kodu ja aed
Ilu ja stiil
Muusika ja filmid
Tehnika

Kohaletoimetamine on tasuta!

PRINCIPLES OF CONCURRENT AND DISTRIBUTED PROGRAMMING

PRINCIPLES OF CONCURRENT AND DISTRIBUTED PROGRAMMING
Galerii

PRINCIPLES OF CONCURRENT AND DISTRIBUTED PROGRAMMING

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.
Saadavus kauplustes

105,41 €

Püsikliendile

100,14 €