Program construction and verification

• Κύριος συγγραφέας: Backhouse, Roland C. (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Englewood Cliffs N.J. Prentice-Hall c1986
• Θέματα: COMPUTER PROGRAMS
• Περιγραφή τεκμηρίου: Περιέχει ασκήσεις
• Φυσική περιγραφή: xi, 281p. fig.