Program logics for certified compilers.

Saved in:

書目詳細資料
Main Authors:	Appel, Andrew W., 1960- (Author), Dockins, Robert (Author), Hobor, Aquinas (Author), Beringer, Lennart (Author), Dodds, Josiah (Author), Stewart, Gordon (Author), Blazy, Sandrine (Author), Leroy, Xavier (Author)
格式:	圖書
語言:	英语
出版:	New York, NY., USA: Cambridge University Press, 2014.
主題:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

Biblioteca Mayor de Ingeniería -

持有資料詳情 Biblioteca Mayor de Ingeniería -
索引號:	005.14 APP 2014
復印件 1	可用預訂