An introduction to formal program verification

An introduction to formal program verification

Bibliografski detalji
Glavni autor: Mili, Ali
Format: Knjiga
Jezik:English
Izdano: New York Van Nostrand Reinhold c1985.
Teme:
Computer programs > Verification.