Program Logics for Certified Compilers (Inbunden, 2014)1 077 kr | | |
Specifikationer | Specifikationer | |
---|---|---|
Genre | Datorer & IT | |
Format | Inbunden | |
Språk | Engelska | |
Författare | Appel, Andrew W. | |
Förlag | Cambridge University Press | |
Utgivningsdatum | 2014-04 | |
Utgivningsår | 2014 | |
Övrigt | Övrigt | |
Varumärke | - | |
Listad hos PriceRunner | 5 mars 2019 | |