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






관련 상품












쿠팡 상품 소개 전문 사이트 "팡굿!"

이 웹페이지은 쿠팡 파트너스 활동의 일환으로, 이에 따른 일정액의 수수료를 제공받을 수 있습니다.