Formal methods of program verification and specification
By: H.K. Berg ... [et al.].
Contributors: Berg, H. K.
Series: Prentice-Hall software series
Publisher: Prentice-Hall
Published: 1982
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 207
Subjects: Computer programs -- Verification.; Computer programs -- Specifications.; Formal methods (Computer science)
Notes: Includes bibliographical references and index.