Program logics for certified compilers.

Kaydedildi:

Detaylı Bibliyografya
Asıl Yazarlar:	Appel, Andrew W., 1960- (Yazar), Dockins, Robert (Yazar), Hobor, Aquinas (Yazar), Beringer, Lennart (Yazar), Dodds, Josiah (Yazar), Stewart, Gordon (Yazar), Blazy, Sandrine (Yazar), Leroy, Xavier (Yazar)
Materyal Türü:	Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	New York, NY., USA: Cambridge University Press, 2014.
Konular:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Diğer Bilgiler
Diğer Bilgileri:	c.1. Donación Prof. Sandra Cano Mazuera / Esc. Ing. Informática 20-12-2023
Fiziksel Özellikler:	x, 458 páginas.
Bibliyografya:	Includes bibliographical references (pages 442-451) and index.
ISBN:	9781107048010 (hardback)

Benzer Materyaller