Modeling in Event-B
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
A practical text suitable for an introductory or advanced course in
formal methods, this book presents a mathematical approach to
modelling and designing systems using an extension of the B formal
method: Event-B. Contains a wide variety of examples and exercises
ranging in difficulty to suit…
Zobrazit celý popis
Zobrazit celý popis
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 16.08.2026
-
Knihydobrovsky.cz | do 31.08.2026
-
Kosmas.cz | do 31.08.2026
- zobrazit všechny akce
