Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Chen, Yu-Fang (EDT)/ Cheng, Chih-Hong (EDT)/ Esparza, Javier (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer Nature Switzerland AG(2019/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。