Program logics for certified compilers.

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Appel, Andrew W., 1960- (Tác giả), Dockins, Robert (Tác giả), Hobor, Aquinas (Tác giả), Beringer, Lennart (Tác giả), Dodds, Josiah (Tác giả), Stewart, Gordon (Tác giả), Blazy, Sandrine (Tác giả), Leroy, Xavier (Tác giả)
Định dạng:	Sách
Ngôn ngữ:	Tiếng Anh
Được phát hành:	New York, NY., USA: Cambridge University Press, 2014.
Những chủ đề:	Software > Verificación Lógica, simbólica y matemática Compiladores (programas informáticos)
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Biblioteca Mayor de Ingeniería -

Chi tiết quỹ từ Biblioteca Mayor de Ingeniería -
Số hiệu:	005.14 APP 2014
Sao chép 1	Sẵn có Đặt Giữ