Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

Jim (University of Oxford) Davies
a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu
Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku. Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.
Specification and Proof in Real Time CSP koupíte na Bookshop.cz
Bookshop.cz
1 625 Kč
Není skladem
Krátký popis
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the…

Zobrazit celý popis
Výběr knih vydavatele Cambridge University Press
Kniha Own It! 2 Project Book

Own It! 2 Project Book

Cena od 122 Kč

  Chci koupit
Kniha Double Cross

Double Cross

Cena od 159 Kč

  Chci koupit
Kniha Being You

Being You

Cena od 330 Kč

  Chci koupit
Kniha Picture to Remember Level 2

Picture to Remember Level 2

Cena od 185 Kč

  Chci koupit
Kniha Grow the Pie

Grow the Pie

Cena od 594 Kč

  Chci koupit
Kniha John Doe

John Doe

Cena od 172 Kč

  Chci koupit
Kniha Kid´s Box 1 Language Portfolio

Kid´s Box 1 Language Portfolio

Cena od 80 Kč

  Chci koupit
Kniha More! 4 Pracovní sešit

More! 4 Pracovní sešit

Cena od 249 Kč

  Chci koupit
Zobrazit všechny knihy vydavatele Cambridge University Press
Naše tipy
Kniha Temné zrcadlo

Temné zrcadlo

Cena od 523 Kč

  Chci koupit
Kniha Poslední epocha

Poslední epocha

Cena od 357 Kč

  Chci koupit
Kniha Údolí Winterset

Údolí Winterset

Cena od 382 Kč

  Chci koupit
Kniha Poslední svatební host

Poslední svatební host

Cena od 351 Kč

  Chci koupit
Přízračný fotoaparát
Přízračný fotoaparát
Darcy Coates
  Chci koupit
Přízračný fotoaparát - Darcy Coates

POŘÁD SE DÍVAJÍ… br br Když Jenine najde opuštěný polaroid, bez přemýšlení hned pořídí jednu fotografii. Jenže na snímku je něco špatně: v pozadí stojí přízračné postavy a pozorují ji. br br Soustředí se na ni. br br A s každou další fotografií se k ní o krok přibližují. br br Jenine se o své tajemství podělí se svou nejlepší kamarádkou Bree. Společně si uvědomí, že fotoaparát pořizuje děsivé snímky zesnulých. Jenže duchové nyní patrně obě kamarádky pronásledují. A s každým dalším snímkem je to strašlivé nebezpečí ještě o něco blíž… br br HRŮZA TEPRVE ZAČÍNÁ.