1～3件／全3件 セーフサーチON
  •  
Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Runtime Verification : 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback

Feng, Lu (EDT)/ Fisman, Dana (EDT)

  • ウェブストア価格 ¥17,710（本体¥16,100）
  • Springer Nature Switzerland AG（2021/10発売）
  • ポイント 161pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding  Paperback,  言語：ENG

Fisman, Dana (EDT)/ Rosu, Grigore (EDT)

  • ウェブストア価格 ¥10,417（本体¥9,470）
  • Springer Nature Switzerland AG（2022/03発売）
  • ポイント 94pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceeding  Paperback,  言語：ENG

Fisman, Dana (EDT)/ Rosu, Grigore (EDT)

  • ウェブストア価格 ¥10,417（本体¥9,470）
  • Springer Nature Switzerland AG（2022/03発売）
  • ポイント 94pt
  • 海外取次在庫
1～3件／全3件
  •