Nominal Sets Names and Symmetry in Computer Science 57 Cambridge Tracts in Theoretical Computer Science Series Number 57

￥14,790
+ 配送料￥2,049

Nominal Sets Names and Symmetry in Computer Science 57 Cambridge Tracts in Theoretical Computer Science Series Number 57

  • ブランド: Unbranded
  • product image

Nominal Sets Names and Symmetry in Computer Science 57 Cambridge Tracts in Theoretical Computer Science Series Number 57

  • ブランド: Unbranded
価格： ￥14,790
販売元:
￥14,790
+ 配送料￥2,049

在庫あり

以下の支払い方法を利用することができます

説明

Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry with many applications to the syntax and semantics of programming language constructs that involve binding or localising names. Part I provides an introduction to the basic theory of nominal sets. In Part II the author surveys some of the applications that have developed in programming language semantics (both operational and denotational) functional programming and logic programming. As the first book to give a detailed account of the theory of nominal sets it will be welcomed by researchers and graduate students in theoretical computer science. Language: English
  • ブランド: Unbranded
  • カテゴリー: コンピューター、インターネット
  • フォーマット: Hardback
  • 刊行日: 2013/05/30
  • アーティスト: Pitts Andrew M.
  • ページ数: 287
  • 言語: English
  • 出版社 / レコード会社: Cambridge University Press
  • Fruugo ID: 338044204-741706199
  • ISBN: 9781107017788

配送と返品

4日間以内に発送

  • STANDARD: ￥2,049 - 間の配達 月 27 10月 2025–木 30 10月 2025

イギリスより発送。

ご注文の商品は、お客様の仕様に従い、万全の状態で配送されるように最善を尽くしています。しかし、もし注文に抜けがあったり、注文したものと違う商品が届いたり、注文に満足できないその他の理由がある場合は、注文全体やその中のいずれかの商品を返品し、その全額の返金を受けることができます。 全額返金ポリシーを見る