1～3件／全3件 セーフサーチON
  •  
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Theoretical Computer Science and General Issues)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (Theoretical Computer Science and General Issues)  Paperback

Jobstmann, Barbara (EDT)/ Leino, K. Rustan M. (EDT)

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2015/12発売）
  • ご注文いただけません
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Silva, Alexandra (EDT)/ Leino, K. Rustan M. (EDT)

  • ウェブストア価格 ¥11,049（本体¥10,045）
  • Springer Nature Switzerland AG（2021/07発売）
  • ポイント 100pt
  • 海外取次在庫
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (Theoretical Computer Science and General Issues)
  • 洋書

Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I (Theoretical Computer Science and General Issues)  Paperback,  言語：ENG

Silva, Alexandra (EDT)/ Leino, K. Rustan M. (EDT)

  • ウェブストア価格 ¥11,049（本体¥10,045）
  • Springer Nature Switzerland AG（2021/07発売）
  • ポイント 100pt
  • 海外取次在庫
1～3件／全3件
  •