Formal methods of program verification and specification

Détails bibliographiques
Autres auteurs:	Berg, H. K.
Format:	Livre
Langue:	English
Publié:	Englewood Cliffs, N.J. Prentice-Hall c1982.
Sujets:	Computer programs > Specification. Computer programs > Verification.