Program construction and verification /

other_versions_link
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Backhouse, Roland C .
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: London : Prentice -Hall International, Inc. , 1986.
বিষয়গুলি:
Program verification

অনুরূপ উপাদানগুলি