Cover Image

Formal methods of program verification and specification /

Bibliographic Details
Other Authors: Berg, H. K. (Helmut K.)
Format: Book
Language:English
Published: Englewood Cliffs, N.J. : Prentice-Hall, [1982]
Series:Prentice-Hall software series.
Subjects:
Computer programs > Verification.
Computer programs > Specifications.
Description
Physical Description:xiv, 207 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0133288072