An introduction to formal program verification

An introduction to formal program verification

Podrobná bibliografie
Hlavní autor: Mili, Ali
Médium: Kniha
Jazyk:English
Vydáno: New York Van Nostrand Reinhold c1985.
Témata:
Computer programs > Verification.