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