1～3件／全3件 セーフサーチON
  •  
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Blazy, Sandrine (EDT)/ Chechik, Marsha (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2016/11発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings (Lecture Notes in Computer Science)  Paperback

Blazy, Sandrine (EDT)/ Jensen, Thomas (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2015/09発売）
  • ポイント 103pt
  • 海外取次在庫
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,380（本体¥10,346）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2013/07発売）
  • ポイント 103pt
  • 海外取次在庫
1～3件／全3件
  •