Program construction and verification

• Main Author: Backhouse, Roland C. (Author)
• Format: Book
• Language: English
• Published: Englewood Cliffs N.J. Prentice-Hall c1986
• Subjects: COMPUTER PROGRAMS
• Item Description: Περιέχει ασκήσεις
• Physical Description: xi, 281p. fig.