Principles of the Spin Model Checker

Principles of the Spin Model Checker

Mordechai Ben-Ari
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.
Principles of the Spin Model Checker koupíte na Bookshop.cz
Bookshop.cz
1 615 Kč
Není skladem
Krátký popis
Principles of Spin is an introductory book, the only requirement is a background in programming. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and…

Zobrazit celý popis
Výběr knih autora Mordechai Ben-Ari
Kniha Mathematical Logic for Computer Science

Mathematical Logic for Computer Science

  Chci koupit
Zobrazit všechny knihy autora Mordechai Ben-Ari
Výběr knih vydavatele Springer London Ltd
Kniha 3-D Shape Estimation and Image Restoration

3-D Shape Estimation and Image Restoration

  Chci koupit
Kniha Adaptive Control

Adaptive Control

  Chci koupit
Kniha 3D Computer Vision

3D Computer Vision

  Chci koupit
Kniha Advanced Control of Wheeled Inverted Pendulum Systems

Advanced Control of Wheeled Inverted Pendulum Systems

  Chci koupit
Kniha Affine Maps, Euclidean Motions and Quadrics

Affine Maps, Euclidean Motions and Quadrics

  Chci koupit
Kniha Logic and Structure

Logic and Structure

Cena od 1 980 Kč

  Chci koupit
Kniha Algebraic Geometry

Algebraic Geometry

  Chci koupit
Zobrazit všechny knihy vydavatele Springer London Ltd
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Á.