Zohar Manna
Matematická teorie programů
| Vydal | SNTL, 1981 |
|---|---|
| Popis | Teorie vyčíslitelnosti, Predikátový počet, Verifikace programů, Programová schémata, Pevné body programů. Pevná vazba, 467 stran, formát 16.5x23.5cm. Přebal lehce natržen. Antikvariátní kniha. |
| Stav knihy |
dobrá  |
| Cena | 400 Kč |
| Kategorie | Počítače, Matematika a fyzika |
