Formal methods of program verification and specification /
H.K. Berg ... [et al.].
- Englewood Cliffs, N.J. : Prentice-Hall, c1982.
- xiv, 207 p. : ill. ; 24 cm.
- Prentice-Hall software series .
Includes bibliographical references and index.
0133288072
B-6351
81022719
Computer programs--Verification.
Computer programs--Specifications.
Formal methods (Computer science)
QA76.6 / .F65 1982
001.65/24
Includes bibliographical references and index.
0133288072
B-6351
81022719
Computer programs--Verification.
Computer programs--Specifications.
Formal methods (Computer science)
QA76.6 / .F65 1982
001.65/24