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!

Là người đầu tiên ghi lời nhận xét!

Những quyển sách tương tự