Holdings: Program correctness over abstract data types, with error-state semantics /

Saved in:

Bibliographic Details
Main Author:	Tucker, J. V. (John V.), 1952-.
Other Authors:	Zucker, J. I. (Jeffrey I.), 1942-.
Format:	Book
Language:	English
Published:	Amsterdam : North-Holland, 1988.
Series:	CWI monograph ; 6.
Subjects:	Electronic digital computers > Programming. Abstract data types (Computer science).
Tags:	Add Tag No Tags, Be the first to tag this record!