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






관련 상품