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)版です。キャンセルは承れません。