Thinking Programs : Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2ND)

  • 予約

Thinking Programs : Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2ND)

  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Hardcover:ハードカバー版/ページ数 649 p.
  • 言語 ENG
  • 商品コード 9783031997044

最近チェックした商品