An introduction to formal program verification

Detaylı Bibliyografya
Yazar:	Mili, Ali
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	New York Van Nostrand Reinhold c1985.
Konular:	Computer programs > Verification.