Program logics for certified compilers /

Chi tiết về thư mục
Tác giả chính: Appel, Andrew W., 1960-
Định dạng: Printed Book
Ngôn ngữ:English
Những chủ đề:
Computer software > Verification.
Logic, Symbolic and mathematical.
Compilers (Computer programs)

University of Calicut

Chi tiết quỹ từ University of Calicut
Số hiệu: 005.14 APP/P
Sao chép Trạng thái trực tiếp không khả dụng

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