Constructing programs from specifications
By: edited by B. Möller.
Contributors: Möller, B.
Publisher: North-Holland
Published: 1991
Place of publication: Amsterdam; London
Language: eng
Number of pages: 515
Notes: Includes bibliographies and index.