Mathematical theory of program correctness.

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	de Bakker, Jaco
Formáid:	LEABHAR
Teanga:	English
Foilsithe / Cruthaithe:	Englewood Cliff, New Jersey Prentice Hall International