Program analysis probably counts /

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Pierro, Alessandra Di.
Tác giả khác: Hankin, Chris., Wiklicky, Herbert.
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
LEADER 00847nam a2200289 4500
001 DLU110129921
005 ##20111223
040 # # |a DLU  |b eng 
041 # # |a eng 
044 # # |a uk 
100 # # |a Pierro, Alessandra Di. 
245 # # |a Program analysis probably counts /  |c Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky. 
653 # # |a Abstract interpretation 
653 # # |a Program analysis 
653 # # |a Semantics 
700 # # |a Hankin, Chris. 
700 # # |a Wiklicky, Herbert.  
773 # # |t The Computer Journal  |g Vol. 53, no. 6 (July 2010), p. 871-880 
920 # # |a Phòng Tạp chí -- Trung tâm Thông tin - Thư viện Trường Đại học Đà Lạt 
994 # # |a DLU 
900 # # |a True 
911 # # |a Trương Bảo Trâm Anh 
925 # # |a G 
926 # # |a A 
927 # # |a BB 
980 # # |a Thư viện Trường Đại học Đà Lạt