1～1件／全1件 セーフサーチON
  •  
Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedi （2014）
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedi （2014）  Paperback,  言語：ENG

Abraham, Erika (EDT)/ Havelund, Klaus (EDT)

  • ウェブストア価格 ¥11,535（本体¥10,487）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/03発売）
  • ポイント 104pt
  • 海外取次在庫
1～1件／全1件
  •