Á lódáil...

Program logics for certified compilers /

Sonraí Bibleagrafaíochta
Príomhúdar:	Appel, Andrew W., 1960-
Formáid:	Printed Book
Teanga:	English
Ábhair:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Sonraí sealbhúcháin ó University of Calicut
Gairmuimhir:	005.14 APP/P
Cóip	Live Status Unavailable

Míreanna Comhchosúla