Program Construction
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 textbook is an introduction to the design and writing of
computer programs. It leads the reader through all the stages of
program construction from the original specifications through to
the final program. The formal verification of intermediate versions
of the program is studied in considerable detail.
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
