Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Akshay, S. (EDT)/ Niemetz, Aina (EDT)/ Sankaranarayanan, Sriram (EDT)

  • ウェブストア価格 ¥30,488(本体¥27,717)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 277pt
  • 海外からお取り寄せ(通常6~9週間)
Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Akshay, S. (EDT)/ Niemetz, Aina (EDT)/ Sankaranarayanan, Sriram (EDT)

  • ウェブストア価格 ¥36,032(本体¥32,757)
  • Springer International Publishing AG(2025/02発売)
  • ポイント 327pt
  • 海外からお取り寄せ(通常6~9週間)