Caricamento...

Program logics for certified compilers /

Dettagli Bibliografici
Autore principale:	Appel, Andrew W., 1960-
Natura:	Printed Book
Lingua:	English
Soggetti:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Dettagli sul posseduto da University of Calicut
Collocazione:	005.14 APP/P
Copia	Status in tempo reale non disponibile

Documenti analoghi