Nalaganje...

Program logics for certified compilers /

Bibliografske podrobnosti
Glavni avtor:	Appel, Andrew W., 1960-
Format:	Printed Book
Jezik:	English
Teme:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Podrobnosti zaloge University of Calicut
Signatura:	005.14 APP/P
Kopija	Zaloga ni dosegljiva

Podobne knjige/članki