Formal development of programs and proofs

গ্রন্থ-পঞ্জীর বিবরন
অন্যান্য লেখক:	Dijkstra, Edsger Wybe
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	Reading, Mass. Addison-Wesley c1990.
বিষয়গুলি:	Electronic digital computers > Programming > Congresses.