-
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
-
Link To Document :
