Carregant...

Program logics for certified compilers /

Dades bibliogràfiques
Autor principal:	Appel, Andrew W., 1960-
Format:	Printed Book
Idioma:	English
Matèries:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Detall dels fons de University of Calicut
Signatura:	005.14 APP/P
Còpia	Comprovació en temps real no disponible

Ítems similars