Mathematical theory of program correctness.

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	de Bakker, Jaco
বিন্যাস:	গ্রন্থ
ভাষা:	English
প্রকাশিত:	Englewood Cliff, New Jersey Prentice Hall International