ENGLISH

Program Logics for Certified Compilers

By et al. , Appel A.W.

Book information

Publisher
CUP
Year
2014
ISBN
9781107048010
Language
english
Format
PDF
Filesize
2 MB (2018528 bytes)
Edition
draft
Pages
469\469
Library
kolxoz
Time added
2014-05-08 09:00:00

Similar books