1～2件／全2件 セーフサーチON
  •  
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)

  • ウェブストア価格 ¥10,346（本体¥9,406）
  • Springer International Publishing AG（2023/04発売）
  • ポイント 94pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥10,346（本体¥9,406）
  • Springer International Publishing AG（2023/04発売）
  • ポイント 94pt
  • 海外取次在庫
1～2件／全2件
  •