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)
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Описание
Примечание:	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)

Схожие документы