AI Verification : Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings (Lecture Notes in Computer Science 15947) (2025. x, 280 S. X, 280 p. 93 illus., 80 illus. in color. 235 mm)
  • 洋書

AI Verification : Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, Proceedings (Lecture Notes in Computer Science 15947) (2025. x, 280 S. X, 280 p. 93 illus., 80 illus. in color. 235 mm)  Paperback,  言語:ENG

Herausgegeben:Avni, Guy/ Giacobbe, Mirco/ Johnson, Taylor T./ Katz, Guy/ Lukina, Anna/ Narodytska, Nina/ Schilling, Christian

  • ウェブストア価格 ¥15,704(本体¥14,277)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025/10発売)
  • ポイント 142pt
  • 海外からお取り寄せ(通常6~9週間)
AI Verification : First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

AI Verification : First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Avni, Guy (EDT)/ Giacobbe, Mirco (EDT)/ Johnson, Taylor T. (EDT)

  • ウェブストア価格 ¥29,907(本体¥27,189)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 271pt
  • 海外からお取り寄せ(通常6~9週間)