Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Programming and Software Engineering) (2013)
  • 洋書
  • ポイントキャンペーン

Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Qadeer, Shaz (EDT)/ Tasiran, Serdar (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 218pt
  • 海外取次在庫
Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Verified Software. Theories, Tools and Experiments : 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers (Lecture Notes in Computer Science) (2024)  Paperback,  言語:ENG

Reynolds, Andrew (EDT)/ Tasiran, Serdar (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 218pt
  • 海外取次在庫
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science) (2019)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Dillig, Isil (EDT)/ Tasiran, Serdar (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science) (2019)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Dillig, Isil (EDT)/ Tasiran, Serdar (EDT)

  • ウェブストア価格 ¥13,175(本体¥11,978)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 238pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。