Mathematical theory of program correctness.

Detaylı Bibliyografya
Yazar:	de Bakker, Jaco
Materyal Türü:	Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Englewood Cliff, New Jersey Prentice Hall International