1～3件／全3件 セーフサーチON
  •  
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)

  • Springer Nature Switzerland AG（2018/09発売）
  • ご注文いただけません
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書

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

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

  • ウェブストア価格 ¥9,628（本体¥8,753）
  • Springer Nature Switzerland AG（2020/07発売）
  • ポイント 87pt
  • 海外取次在庫
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,628（本体¥8,753）
  • Springer Nature Switzerland AG（2020/07発売）
  • ポイント 87pt
  • 海外取次在庫
1～3件／全3件
  •