Chargement en cours...

Program logics for certified compilers /

Détails bibliographiques
Auteur principal:	Appel, Andrew W., 1960-
Format:	Printed Book
Langue:	English
Sujets:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Informations d'exemplaires de University of Calicut
Cote:	005.14 APP/P
Exemplaire	Statut en temps réel indisponible

Documents similaires