Program logics for certified compilers / Andrew W. Appel and seven others. electronic resource

Författare
Andrew W. Appel
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat