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,551(本体¥25,956)
  • Springer Nature Switzerland AG(2019/02発売)
  • ポイント 259pt
  • 海外取次在庫