Polymorphic Type Inference and Semi-unification
  • 洋書

Polymorphic Type Inference and Semi-unification  Hardcover

Henglein, Fritz

  • ウェブストア価格 ¥6,312(本体¥5,739)
  • Hutson Street Press(2025/05発売)
  • ポイント 57pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Polymorphic Type Inference and Semi-unification
  • 洋書

Polymorphic Type Inference and Semi-unification  Paperback,  言語:ENG

Henglein, Fritz

  • Hutson Street Press(2025/05発売)
  • ご注文いただけません
Automatic Program Development : A Tribute to Robert Paige
  • 洋書

Automatic Program Development : A Tribute to Robert Paige  Paperback,  言語:ENG

Danvy, Olivier (EDT)/ Henglein, Fritz (EDT)/ Mairson, Harry (EDT)/ Pet

  • ウェブストア価格 ¥23,538(本体¥21,399)
  • Springer(2010/10発売)
  • ポイント 213pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Henglein, Fritz (EDT)/ Shoham, Sharon (EDT)/ Vizel, Yakir (EDT)

  • ウェブストア価格 ¥21,399(本体¥19,454)
  • Springer Nature Switzerland AG(2021/01発売)
  • ポイント 194pt
  • 海外取次在庫