Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)
  • 洋書
  • 電子版あり

Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior (Progress in Computer Science and Applied Logic)  Hardcover,  言語:ENG

Schultz, Patrick/ Spivak, David I.

  • ウェブストア価格 ¥28,185(本体¥25,623)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 256pt
  • 海外取次在庫