RecordNumber
22228
Author
Backhouse, Roland C , Backhouse, Roland C , Backhouse, Roland C
Title
Program construction and verification
Author Statement
Roland C. Backhouse
Publication
Prentice-Hall International , Prentice-Hall International , Prentice-Hall International
Publication Year
1986
Collation
xi, 281 p. : ill. ; 24 cm
Notes
Includes index , Bibliography: p. 220-223
Subject
Electronic digital computers - Programming
LC Class
QA
LC Number
76.7
LC CutterNumber
.B28
LC Date
1986