An introduction to formal program verification

An introduction to formal program verification

Bibliografske podrobnosti
Glavni avtor: Mili, Ali
Format: Knjiga
Jezik:English
Izdano: New York Van Nostrand Reinhold c1985.
Teme:
Computer programs > Verification.