The correctness problem in computer science

গ্রন্থ-পঞ্জীর বিবরন
অন্যান্য লেখক:	Boyer, Robert S., Moore, J Strother, 1947-
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	London Academic Press 1981.
বিষয়গুলি:	Computer programs > Correctness.