Formal methods of program verification and specification

Detalles Bibliográficos
Otros Autores:	Berg, H. K.
Formato:	Libro
Lenguaje:	English
Publicado:	Englewood Cliffs, N.J. Prentice-Hall c1982.
Materias:	Computer programs > Specification. Computer programs > Verification.