Mathematical logic and programming languages /

Uloženo v:
Podrobná bibliografie
Další autoři: Hoare, C. A. R. 1934- (Editor), Shepherdson, J. C. (Editor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Englewood Cliffs, New Jersey : Prentice Hall, 1985.
Edice:Prentice-Hall international series in computer science
Témata:
Popis
Fyzický popis:184 s.
Bibliografie:Bibliogr. na konci kap.
ISBN:0-13-561465-1