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
  • 海外取次在庫
Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers (Lecture Notes in Computer Science)
  • 洋書

Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers (Lecture Notes in Computer Science)  Paperback

Bloem, Roderick (EDT)/ Dimitrova, Rayna (EDT)/ Fan, Chuchu (EDT)

  • ウェブストア価格 ¥13,260(本体¥12,055)
  • Springer Nature Switzerland AG(2022/02発売)
  • ポイント 120pt
  • 海外取次在庫
Validation of Evolving Software
  • 洋書

Validation of Evolving Software  Paperback

Chockler, Hana (EDT)/ Kroening, Daniel (EDT)/ Mariani, Leonardo (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2016/10発売)
  • ポイント 110pt
  • 海外取次在庫