1～3件／全3件 セーフサーチON
  •  
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Lahiri, Shuvendu K. (EDT)/ Wang, Chao (EDT)

  • ウェブストア価格 ¥9,311（本体¥8,465）
  • Springer Nature Switzerland AG（2020/07発売）
  • ポイント 84pt
  • 海外取次在庫
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Theoretical Computer Science and General Issues)
  • 洋書

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Lahiri, Shuvendu K. (EDT)/ Wang, Chao (EDT)

  • ウェブストア価格 ¥9,311（本体¥8,465）
  • Springer Nature Switzerland AG（2020/07発売）
  • ポイント 84pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Lahiri, Shuvendu K. (EDT)/ Wang, Chao (EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer Nature Switzerland AG（2018/09発売）
  • ポイント 103pt
  • 海外からお取り寄せ（通常6～9週間）
1～3件／全3件
  •