Computer-Aided Verification of Coordinating Processes

Computer-Aided Verification of Coordinating Processes

Robert P. Kurshan
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.
Computer-Aided Verification of Coordinating Processes koupíte na Bookshop.cz
Bookshop.cz
1 461 Kč
Není skladem
Krátký popis
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo
Vývoj ceny
Aktuální Ø cena knihy Computer-Aided Verification of Coordinating Processes je 1 461 Kč
Výběr knih vydavatele Princeton University Press
Kniha Blue

Blue

Cena od 1 155 Kč

  Chci koupit
Kniha Guesstimation 2.0

Guesstimation 2.0

  Chci koupit
Kniha Knowledge Lost

Knowledge Lost

Cena od 726 Kč

  Chci koupit
Kniha Japan

Japan

Cena od 990 Kč

  Chci koupit
Kniha AI Needs You

AI Needs You

  Chci koupit
Zobrazit všechny knihy vydavatele Princeton University Press
Naše tipy
Kniha Typlt - Levitace

Typlt - Levitace

Cena od 516 Kč

  Chci koupit
Kniha Řekni ano tomu pravému

Řekni ano tomu pravému

Cena od 318 Kč

  Chci koupit
Kniha Záporáci smrti neutečou 6

Záporáci smrti neutečou 6

Cena od 319 Kč

  Chci koupit
Kniha Ambessa: Vyvolena vlkem

Ambessa: Vyvolena vlkem

Cena od 491 Kč

  Chci koupit
Králové Avalieru 3 - Nelítostný vílí král (prac.)
Králové Avalieru 3 - Nelítostný vílí král (prac.)
Leia Stone
  Chci koupit
Králové Avalieru 3 - Nelítostný vílí král (prac.) - Stone Leia

Vílí král Lucien je všemi obávaný tyran. Když se proto Madelynn dozví, že si ji vybral jako svou budoucí královnu, myslí si, že její život skončil. Jenže co když je vše jinak? Třetí kniha romantasy příběhů z čarovného světa Avalieru.