Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Papers, Paperback


[쿠팡!] Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Papers, Paperback



Types For Proofs And Programs: International Workshop Types'96 Aussois France December 15 19 1996 Selected Papers Paperback




122,080

제품 페이지(쿠팡!)
Types for Proofs and Programs: International Workshop Types'96, Aussois, France, December 15-19, 1996 Selected Papers, Paperback






관련 상품