An introduction to formal program verification

An introduction to formal program verification

Detalles Bibliográficos
Autor Principal: Mili, Ali
Formato: Libro
Idioma:English
Publicado: New York Van Nostrand Reinhold c1985.
Subjects:
Computer programs > Verification.