Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding  Paperback,  言語:ENG

Sankaranarayanan, Sriram (EDT)/ Sharygina, Natasha (EDT)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 100pt
  • 海外取次在庫
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceeding  Paperback,  言語:ENG

Sankaranarayanan, Sriram (EDT)/ Sharygina, Natasha (EDT)

  • ウェブストア価格 ¥11,049(本体¥10,045)
  • Springer International Publishing AG(2023/04発売)
  • ポイント 100pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Shankaranarayanan, Krishna (EDT)/ Sankaranarayanan, Sriram (EDT)/ Trivedi, Ashutosh (EDT)

  • ウェブストア価格 ¥14,366(本体¥13,060)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 130pt
  • 海外取次在庫
Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Shankaranarayanan, Krishna (EDT)/ Sankaranarayanan, Sriram (EDT)/ Trivedi, Ashutosh (EDT)

  • ウェブストア価格 ¥14,366(本体¥13,060)
  • Springer International Publishing AG(2025/01発売)
  • ポイント 130pt
  • 海外取次在庫