লোডিং...

Program logics for certified compilers /

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Appel, Andrew W., 1960-
বিন্যাস:	Printed Book
ভাষা:	English
বিষয়গুলি:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

হোল্ডিংসের বিবরণ University of Calicut
ডাক সংখ্যা:	005.14 APP/P
প্রতিলিপি	বর্তমান অবস্থা অনুপলব্ধ

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