Principles of Concurrent and Distributed Programming

Principles of Concurrent and Distributed Programming

M. Ben-Ari
a najít nejvýhodnější cenu za celou objednávku
Knihu Principles of Concurrent and Distributed Programming aktuálně nelze zakoupit v žádném z porovnávaných e-shopů...
Krátký popis
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.
Výběr knih vydavatele Pearson Education (US)
Kniha Agile Kata

Agile Kata

Cena od 822 Kč

  Chci koupit
Zobrazit všechny knihy vydavatele Pearson Education (US)
Naše tipy
Kniha Bohobijec

Bohobijec

Cena od 319 Kč

  Chci koupit
Kniha Detektivové z půdy – Záhada ztracených psů

Detektivové z půdy – Záhada ztracených psů

Cena od 176 Kč

  Chci koupit
Kniha Ďábli

Ďábli

Cena od 488 Kč

  Chci koupit
Kniha Písečníci a volání tesakody

Písečníci a volání tesakody

Cena od 639 Kč

  Chci koupit
Vánoce na Manhattanu
Vánoce na Manhattanu
Julie Caplinová
  Chci koupit
Vítejte v kouzelně zasněženém New Yorku, kde vánoční světla září na každém rohu a za jedním z nich se skrývá láska. Evie Greenová měla svůj vánoční sen na dosah – ovšem jen do chvíle, než se její video stalo virální katastrofou. Slavný hotel se ale její nevítané popularity rozhodl využít a pozval ji do New Yorku na Vánoce, na které Evie nikdy nezapomene. Ve stejném hotelu se pokouší ukrýt i zkompromitovaná fotbalová hvězda Noah Sanderson. Bohužel neúspěšně, a tak nakonec musí spolu s Evie před kamerami předstírat vášnivě zamilovaný pár. Sice to mezi nimi jiskří, ale roztají nakonec i jejich zamrzlá srdce?První kniha nové série Vánoční útěky.