Software specification
Subtitle: a comparison of formal methods
By: by John D. Gannon, James M. Purtilo, Marvin V. Zelkowitz.
Contributors: Purtilo, James.; Zelkowitz, Marvin V., 1945-
Series: Computer-based information systems in organizations
Publisher: Ablex Pub. Co.
Published: 1994
Place of publication: Norwood, N.J
Language: eng
Number of pages: 249
Subjects: Software engineering.; Computer software -- Specifications.; Formal methods (Computer science)
Notes: Includes bibliographical references (p. 237-242) and indexes.