Logic for applications
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | |
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
New York
Springer-Verlag
1997
|
Έκδοση: | 2nd ed. |
Σειρά: | Graduate texts in computer science
|
Θέματα: |
Φυσική περιγραφή: | xiii, 456 p. 23 cm. |
---|---|
Βιβλιογραφία: | Includes bibliographical references and indexes |
ISBN: | 0387948937 |