67-5004-94 Temporal Type Theory 978-3-030-00703-4

※お見積書はカートで印刷できます
よくあるご質問 (FAQ)

仕様

  • サブタイトル:A Topos-Theoretic Approach to Systems and Behavior
  • 著者:Schultz, Patrick/Spivak, David I.
  • 叢書名:Progress in Computer Science and Applied Logic
  • Vol.29
  • 装丁:Hard
  • 頁数他:VIII, 235 p. 67 illus., 7 illus. in color.
  • 発行日:2019/02/11
  • 分類:数理論理学
  •  

アズワン品番 67-5004-94
型番 978-3-030-00703-4
入り数 1冊
標準価格 26,800円(税抜)
WEB価格
出荷予定日
アズワン在庫 [?]
サプライヤ在庫 [?]
数量

お気に入り機能はログイン後にご利用いただけます

ログインする

×