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)
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

その他の書誌記述
記述事項:	c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023
物理的記述:	x, 458 páginas.
書誌:	Includes bibliographical references (pages 442-451) and index.
ISBN:	9781107048010 (hardback)

類似資料