An introduction to formal program verification

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Mili, Ali
Formáid:	LEABHAR
Teanga:	Béarla
Foilsithe / Cruthaithe:	New York Van Nostrand Reinhold c1985.
Ábhair:	Computer programs > Verification.