Formal development of programs and proofs

Chi tiết về thư mục
Tác giả khác:	Dijkstra, Edsger Wybe
Định dạng:	Sách
Ngôn ngữ:	English
Được phát hành:	Reading, Mass. Addison-Wesley c1990.
Những chủ đề:	Electronic digital computers > Programming > Congresses.