Computer-Aided Verification of Coordinating Processes
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.
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…
Zobrazit celý popis
Zobrazit celý popis
Výběr knih vydavatele
Princeton University Press
Zobrazit všechny knihy vydavatele
Princeton University Press
Naše tipy
- Právě probíhající akce a slevy na knihy
-
Knihydobrovsky.cz | do 31.03.2026
-
Knihydobrovsky.cz | do 31.03.2026
-
Knihydobrovsky.cz | do 31.03.2026
-
Dobre-knihy.cz | do 31.03.2026
- zobrazit všechny akce
