Way of Z
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 1997 book is a self-contained tutorial on Z for experienced
programming professionals, discussing practical ways to apply
formal methods in real projects and showing how to implement them
in the C programming language, through case studies in
safety-critical systems and other examples from…
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
![Kniha [Moje hvězda] 2](https://www.knihydobrovsky.cz/thumbs/book-detail-fancy-box/mod_eshop/produkty/672795209/moje-hvezda-2.jpg)
- Právě probíhající akce a slevy na knihy
-
Slevový kód
DD10Dobre-knihy.cz | do 28.05.2026 -
Knihydobrovsky.cz | do 31.05.2026
-
Knihydobrovsky.cz | do 31.05.2026
-
Knihydobrovsky.cz | do 30.06.2026
- zobrazit všechny akce
