Polymorphic Type Inference and Semi-unification
  • 洋書

Polymorphic Type Inference and Semi-unification  Hardcover

Henglein, Fritz

  • ウェブストア価格 ¥6,479(本体¥5,890)
  • Hutson Street Press(2025/05発売)
  • ポイント 58pt
  • オンデマンド(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

  • ウェブストア価格 ¥24,158(本体¥21,962)
  • Springer(2010/10発売)
  • ポイント 219pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Verification, Model Checking, and Abstract Interpretation : 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings (Theoretical Computer Science and General Issues)  Paperback

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

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