The way of Z: practical programming with formal methods

other_versions_link
গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Jacky, Jonathan
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: Cambridge Cambridge University press 1997
বিষয়গুলি:
Z (Computer program language)

DCA

হোল্ডিংসের বিবরণ DCA
ডাক সংখ্যা: 004.43 JAC
প্রতিলিপি বর্তমান অবস্থা অনুপলব্ধ

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