The way of z practical programming with formal methods

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Jonathan Jacky
বিন্যাস: Printed Book
ভাষা:English
প্রকাশিত: Cambridge University Press 1997
বিবরন
দৈহিক বর্ননা:350
আইসবিএন:0-521-55976-6

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