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,260(本体¥12,055)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 120pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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,155(本体¥11,050)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 110pt
  • 海外取次在庫
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,260(本体¥12,055)
  • Springer Nature Switzerland AG(2019/07発売)
  • ポイント 120pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)
  • 洋書

Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 110pt
  • 海外取次在庫