Formal methods of program verification and specification

Dades bibliogràfiques
Altres autors:	Berg, H. K.
Format:	Llibre
Idioma:	English
Publicat:	Englewood Cliffs, N.J. Prentice-Hall c1982.
Matèries:	Computer programs > Specification. Computer programs > Verification.