Constructing programs from specifications
Subtitle: proceedings of the IFIP TC2/WG 2.1 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA, 13-16 May, 1991
By: edited by B. Möller.
Contributors: Möller, Bernhard, 1953-
Publisher: North-Holland
Published: 1991
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 515
Subjects: Computer programming -- Congresses.
Notes: Includes bibliographical references and index.