1～2件／全2件 セーフサーチON
  •  
Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings (Programming and Software Engineering)  Paperback,  言語：ENG

Pichardie, David (EDT)/ Sighireanu, Mihaela (EDT)

  • ウェブストア価格 ¥17,231（本体¥15,665）
  • Springer Nature Switzerland AG（2021/01発売）
  • ポイント 312pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Theoretical Computer Science and General Issues) （2013）
  • 洋書
  • ポイントキャンペーン

Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings (Theoretical Computer Science and General Issues) （2013）  Paperback,  言語：ENG

Blazy, Sandrine (EDT)/ Paulin-Mohring, Christine (EDT)/ Pichardie, David (EDT)

  • ウェブストア価格 ¥11,845（本体¥10,769）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/07発売）
  • ポイント 214pt
  • 海外取次在庫
1～2件／全2件
  •