Computation and reasoning : : a type for computer science /

Κύριος συγγραφέας: Luo, Zhaohui
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: Oxford:Oxford Univ. Pr., Inc., 1994
Σειρά:The international series of monographs on computer science ; ; 11
Θέματα: