Reactive Systems
Reykjavik) Luca (University of Iceland Aceto,
Reykjavik) Anna (University of Iceland Ingolfsdottir,
Denmark) Kim Guldstrand (Aalborg University Larsen,
Denmark) Jiri (Aalborg University Srba
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
This accessible text describes the process algebraic approach to
the specification and verification of software and software systems
using mathematical logic. Offering a balanced introduction for
graduate students, the book describes all the various approaches,
their strengths and weaknesses, and when they are best used.
Výběr knih vydavatele
Cambridge University Press
Zobrazit všechny knihy vydavatele
Cambridge 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
