Program Proofs
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Program Proofs  Paperback,  言語:ENG

Leino, K. Rustan M./ Leino, Kaleb

  • ウェブストア価格 ¥18,221(本体¥16,565)
  • MIT Press(2023/03発売)
  • ポイント 825pt
  • 海外取次在庫
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 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)

  • ウェブストア価格 ¥10,909(本体¥9,918)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 495pt
  • 海外取次在庫
Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II (Theoretical Computer Science and General Issues)
  • 洋書
  • ポイントキャンペーン

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

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

  • ウェブストア価格 ¥10,909(本体¥9,918)
  • Springer Nature Switzerland AG(2021/07発売)
  • ポイント 495pt
  • 海外取次在庫