Cargando...

Program logics for certified compilers /

Detalles Bibliográficos
Autor principal:	Appel, Andrew W., 1960-
Formato:	Printed Book
Lenguaje:	English
Materias:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Detalle de Existencias desde University of Calicut
Número de Clasificación:	005.14 APP/P
Copia	Estatus de actividad no disponible

Ejemplares similares