Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27-31, 2025, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

D'Souza, Meenakshi (EDT)/ Komondoor, Raghavan (EDT)/ Srivathsan, B. (EDT)

  • ウェブストア価格 ¥19,892(本体¥18,084)
  • Springer Nature Switzerland AG(2025/11発売)
  • ポイント 180pt
  • 海外取次在庫