Higher Order Logic and Hardware Verification
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 1993 book shows how formal logic can be used to specify the
behaviour of hardware designs and reason about their correctness.
The book is based in part on the author's own research as well as
on graduate teaching. Thus it can be used to accompany courses on
hardware verification and as a…
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 20.05.2026
-
Knihydobrovsky.cz | do 31.05.2026
-
Knihydobrovsky.cz | do 31.05.2026
-
Knihydobrovsky.cz | do 30.06.2026
- zobrazit všechny akce
