An introduction to formal program verification

An introduction to formal program verification

Dades bibliogràfiques
Autor principal: Mili, Ali
Format: Llibre
Idioma:English
Publicat: New York Van Nostrand Reinhold c1985.
Matèries:
Computer programs > Verification.