RecordNumber
23809
LC Class
QA
LC Number
76.6
LC CutterNumber
.T83
Dewey Class
005
Author
Tucker,John V., 1952-
Title
Program correctness over abstract data types, with error-state semantics
Author Statement
J.V. Tucker, J.I. Zucker
Publication
North-Holland
Publication Year
1988
Collation
viii, 212 p.; 24 cm
Series
CWI monograph ; 6
Subject
Electronic digital computers- Programming,Abstract data types (Computer science)
ADDED ENTRIES
Zucker, J. I. (Jeffrey I.), 1942-
Holding Info.
0444703403
DocumentNumber
24367
Biblography
Bibliography: p. 206-212
BL
BL