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.

Remote Storage