Program logics for certified compilers.

保存先:

書誌詳細
主要な著者:	Appel, Andrew W., 1960- (著者), Dockins, Robert (著者), Hobor, Aquinas (著者), Beringer, Lennart (著者), Dodds, Josiah (著者), Stewart, Gordon (著者), Blazy, Sandrine (著者), Leroy, Xavier (著者)
フォーマット:	図書
言語:	英語
出版事項:	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	利用可予約する