Program logics for certified compilers /

Bibliographic Details
Main Author:	Appel, Andrew W., 1960-
Format:	Printed Book
Language:	English
Subjects:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Holdings details from University of Calicut
Call Number:	005.14 APP/P
Copy	Live Status Unavailable

Similar Items