ilustračné foto
číslo produktu:175797
rezervujMatematická teorie programů
Rok vydania: 1981
Vydavateľ: SNTL
O knihe:
Teorie vyčíslenosti; Predikátový počet; Verifikace programů; Programová schémata; Pevné body programů; Dodatky
Zaradenie do kategórii:
Podrobnosti o titule (výrobné údaje):
Väzba: tvrdá, s prebalom
Orientačná váha: 955 g
Náklad: 3700 ks
Jazyk: cs
Originálny názov: Mathematical Theory of Computation
Preklad: Jiří Horejš