Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings (Programming and Software Engineering)
  • 洋書

Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

Hou, Zhe (EDT)/ Ganesh, Vijay (EDT)

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