Formal development of programs and proofs

Formal development of programs and proofs

Detaylı Bibliyografya
Diğer Yazarlar: Dijkstra, Edsger Wybe
Materyal Türü: Kitap
Dil:English
Baskı/Yayın Bilgisi: Reading, Mass. Addison-Wesley c1990.
Konular:
Electronic digital computers > Programming > Congresses.