Program correctness over abstract data types, with error-state semantics
By: J.V. Tucker, J.I. Zucker.
Contributors: Zucker, J. I. 1942-
Series: CWI monograph ;; 6
Publisher: North-Holland; Sole distributors for the U.S.A and Canada, Elsevier Science Pub. Co.
Published: 1988
Place of publication: Amsterdam; New York; New York
Language: eng
Number of pages: 212
Subjects: Computer programming; Abstract data types (Computer science)
Notes: Bibliography: p. 206-212.