1～3件／全3件 セーフサーチON
  •  
Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings (Programming and Software Engineering)  Paperback

Artho, Cyrille (EDT)/ Legay, Axel (EDT)/ Peled, Doron (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer International Publishing AG（2016/09発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Biondi, Fabrizio (EDT)/ Given-Wilson, Thomas (EDT)/ Legay, Axel (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer Nature Switzerland AG（2019/09発売）
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Risks and Security of Internet and Systems : 12th International Conference, CRiSIS 2017, Dinard, France, September 19-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Cuppens, Nora (EDT)/ Cuppens, Frédéric (EDT)/ Lanet, Jean-Louis (EDT)

  • ウェブストア価格 ¥11,458（本体¥10,417）
  • Springer International Publishing AG（2018/02発売）
  • ポイント 104pt
  • 海外取次在庫
1～3件／全3件
  •