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.

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 246pt
  • 海外取次在庫