1～1件／全1件 セーフサーチON
  •  
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedi
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedi  Paperback,  言語：ENG

Biere, Armin (EDT)/ Parker, David (EDT)

  • ウェブストア価格 ¥9,945（本体¥9,041）
  • Springer Nature Switzerland AG（2020/04発売）
  • ポイント 90pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～1件／全1件
  •