1～2件／全2件 セーフサーチON
  •  
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Beyer, Dirk (EDT)/ Zufferey, Damien (EDT)

  • ウェブストア価格 ¥18,244（本体¥16,586）
  • Springer Nature Switzerland AG（2020/02発売）
  • ポイント 165pt
  • 海外取次在庫
Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings (Lecture Notes in Computer Science) （2019）
  • 洋書
  • 電子版あり

Numerical Software Verification : 12th International Workshop, NSV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings (Lecture Notes in Computer Science) （2019）  Paperback,  言語：ENG

Zamani, Majid (EDT)/ Zufferey, Damien (EDT)

  • ウェブストア価格 ¥11,148（本体¥10,135）
  • Springer Nature Switzerland AG（2019/08発売）
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～2件／全2件
  •