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)

Ижил төстэй зүйлс