Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 198pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 198pt
  • 海外取次在庫
Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • ポイントキャンペーン

Computer Aided Verification : 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Lal, Akash (EDT)

  • ウェブストア価格 ¥10,980(本体¥9,982)
  • Springer International Publishing AG(2023/07発売)
  • ポイント 198pt
  • 海外取次在庫
Networked Systems : 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • ポイントキャンペーン

Networked Systems : 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Castañeda, Armando (EDT)/ Enea, Constantin (EDT)/ Gupta, Nirupam (EDT)

  • ウェブストア価格 ¥14,274(本体¥12,977)
  • Springer International Publishing AG(2024/08発売)
  • ポイント 258pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

Verification, Model Checking, and Abstract Interpretation : 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Enea, Constantin (EDT)/ Piskac, Ruzica (EDT)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer Nature Switzerland AG(2019/01発売)
  • ポイント 218pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。