1～3件／全3件 セーフサーチON
  •  
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)
  • 洋書

Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)  Paperback

Beklemishev, Lev D. (EDT)/ Blass, Andreas (EDT)/ Dershowitz, Nachum (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2015/08発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings (Programming and Software Engineering)  Paperback

Finkbeiner, Bernd (EDT)/ Pu, Geguang (EDT)/ Zhang, Lijun (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer International Publishing AG（2015/11発売）
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings (Lecture Notes in Computer Science) （2019）
  • 洋書
  • 電子版あり

Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings (Lecture Notes in Computer Science) （2019）  Paperback,  言語：ENG

Finkbeiner, Bernd (EDT)/ Mariani, Leonardo (EDT)

  • ウェブストア価格 ¥14,485（本体¥13,169）
  • Springer Nature Switzerland AG（2019/10発売）
  • ポイント 131pt
  • 海外取次在庫
1～3件／全3件
  •