Types And Programming Languages - Pierce, Benjamin C

₩187,690
+ ₩59,399 배송
  • product image

Types And Programming Languages - Pierce, Benjamin C

  • 브랜드: Unbranded
판매자::

Types And Programming Languages - Pierce, Benjamin C

  • 브랜드: Unbranded

₩187,690

재고에 7개만 남음
+ ₩59,399 배송

14일 반품 정책

판매자::

₩187,690

재고에 7개만 남음
+ ₩59,399 배송

14일 반품 정책

결제 방법:

설명

Types And Programming Languages - Pierce, Benjamin C

A Comprehensive Introduction To Type Systems And Programming Languages.a Type System Is A Syntactic Method For Automatically Checking The Absence Of Certain Erroneous Behaviors By Classifying Program Phrases According To The Kinds Of Values They Compute. The Study Of Type Systemsand Of Programming Languages From A Type-theoretic Perspectivehas Important Applications In Software Engineering, Language Design, High-performance Compilers, And Security.this Text Provides A Comprehensive Introduction Both To Type Systems In Computer Science And To The Basic Theory Of Programming Languages. The Approach Is Pragmatic And Operational; Each New Concept Is Motivated By Programming Examples And The More Theoretical Sections Are Driven By The Needs Of Implementations.
  • 브랜드: Unbranded
  • 카테고리: Computing & Internet
  • 출판사/레이블: MIT Press Ltd
  • 페이지 수: 648
  • 형식: Hardback
  • 언어: English
  • 저자: Pierce | Benjamin C
  • Fruugo ID: 39840556-81780886
  • ISBN: 9780262162098

배달

24시간 이내에 발송됨

  • STANDARD: ₩59,399 - 배달 사이 화 14 7월 2026–월 20 7월 2026

영국에서 발송.

보고

당사는 귀하께서 주문하신 제품이 주문 명세에 따라 빠짐없이 배송되도록 온 힘을 기울이고 있습니다. 다만, 주문하신 것과 다른 상품이 배송되거나 빠진 상품이 있는 경우, 또는 주문 내용에 만족할 수 없는 다른 이유가 있는 경우에는 주문 전체나 주문에 포함된 일부 제품을 반품하시고 해당 상품에 대해 전액 환불받으실 수 있습니다.

전체 반품 정책 보기