Program construction and verification /
Αποθηκεύτηκε σε:
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | Αγγλικά |
Έκδοση: |
Englewood Cliffs, N.J. :
Prentice-Hall International,
c1986.
|
Θέματα: | |
Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Φυσική περιγραφή: | xi, 281 p. : ill. |
---|---|
ISBN: | 0137291531 : 0137291469 (pbk.) |