Formal methods of program verification and specification

Bibliographische Detailangaben
Weitere Verfasser:	Berg, H. K.
Format:	Buch
Sprache:	English
Veröffentlicht:	Englewood Cliffs, N.J. Prentice-Hall c1982.
Schlagworte:	Computer programs > Specification. Computer programs > Verification.