Wordt geladen...

Program logics for certified compilers /

Bibliografische gegevens
Hoofdauteur:	Appel, Andrew W., 1960-
Formaat:	Printed Book
Taal:	English
Onderwerpen:	Computer software > Verification. Logic, Symbolic and mathematical. Compilers (Computer programs)

Exemplaargegevens van University of Calicut
Plaatsingsnummer:	005.14 APP/P
Kopie	Status is onbeschikbaar

Gelijkaardige items