Lanean...

Program logics for certified compilers /

Xehetasun bibliografikoak
Egile nagusia:	Appel, Andrew W., 1960-
Formatua:	Printed Book
Hizkuntza:	English
Gaiak:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Aleari buruzko argibideak University of Calicut
Sailkapena:	005.14 APP/P
Alea	Egoera zuzenean ez dago erabilgarri

Antzeko izenburuak