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!

İlk yorumlayan siz olun!

Benzer Materyaller