Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback

Finkbeiner, Bernd (EDT)/ Wies, Thomas (EDT)

  • ウェブストア価格 ¥20,273(本体¥18,430)
  • Springer Nature Switzerland AG(2022/01発売)
  • ポイント 184pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2024/05発売)
  • ポイント 92pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 92pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 202  Paperback

Finkbeiner, Bernd (EDT)/ Kovács, Laura (EDT)

  • ウェブストア価格 ¥10,135(本体¥9,214)
  • Springer International Publishing AG(2024/04発売)
  • ポイント 92pt
  • 海外取次在庫