Specification and Proof in Real Time CSP
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
Computing systems are becoming highly complex, harder to
understand, and therefore more prone to failure. It is important
therefore that we are able to employ mathematical techniques to
specify the behaviour of critical safety systems. The research
contained in this book represents work on the…
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
