Paul Callaghan & Zhaohui Luo 
Types for Proofs and Programs [PDF ebook] 
International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000. Selected Papers

Ủng hộ
€57.99
phương thức thanh toán
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng PDF ● ISBN 9783540458425 ● Biên tập viên Paul Callaghan & Zhaohui Luo ● Nhà xuất bản Springer Berlin Heidelberg ● Được phát hành 2003 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 6376781 ● Sao chép bảo vệ Adobe DRM
Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

49.013 Ebooks trong thể loại này