Studies in automatic programming logic

Κύριος συγγραφέας: Manna, Zohar
Άλλοι συγγραφείς: Waldinger, Richard, Katz, Shmuel, Levitt, Karl
Μορφή: Βιβλίο
Γλώσσα:English
Έκδοση: New York: North-Holland, c1977
Σειρά:Artificial intelligence series
The Computer science library
Θέματα: