लोड हो रहा है...

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
प्रति	लाइव स्थिति उपलब्ध नहीं है

समान संसाधन