Program logics for certified compilers.

Zapisane w:

Opis bibliograficzny
Główni autorzy:	Appel, Andrew W., 1960- (Autor), Dockins, Robert (Autor), Hobor, Aquinas (Autor), Beringer, Lennart (Autor), Dodds, Josiah (Autor), Stewart, Gordon (Autor), Blazy, Sandrine (Autor), Leroy, Xavier (Autor)
Format:	Książka
Język:	angielski
Wydane:	New York, NY., USA: Cambridge University Press, 2014.
Hasła przedmiotowe:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

Biblioteca Mayor de Ingeniería -

Szczegóły zapisu Biblioteca Mayor de Ingeniería -
Sygnatura:	005.14 APP 2014
Egzemplarz 1	Dostępne Zamów