Formal methods of program verification and specification

Manylion Llyfryddiaeth
Awduron Eraill:	Berg, H. K.
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	Englewood Cliffs, N.J. Prentice-Hall c1982.
Pynciau:	Computer programs > Specification. Computer programs > Verification.