Verified Functional Programming in Agda
  • 洋書

Verified Functional Programming in Agda  Hardcover,  言語:ENG

Stump, Aaron

  • ウェブストア価格 ¥22,756(本体¥20,688)
  • Morgan & Claypool Publishers(2016/02発売)
  • ポイント 206pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verified Functional Programming in Agda
  • 洋書

Verified Functional Programming in Agda  Paperback,  言語:ENG

Stump, Aaron

  • ウェブストア価格 ¥16,547(本体¥15,043)
  • Morgan & Claypool Publishers(2016/02発売)
  • ポイント 150pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
プログラミング言語の基礎<br>Programming Language Foundations
  • 洋書

プログラミング言語の基礎
Programming Language Foundations
 Paperback,  言語:ENG

Stump, Aaron

  • ウェブストア価格 ¥26,906(本体¥24,460)
  • John Wiley & Sons Inc(2013/09発売)
  • ポイント 244pt
  • 海外からお取り寄せ(通常6~9週間)