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.

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