Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2014)
  • 洋書

Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers (Lecture Notes in Computer Science) (2014)  Paperback,  言語:ENG

Giannakopoulou, Dimitra (EDT)/ Kroening, Daniel (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer International Publishing AG(2014/10発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback

Giannakopoulou, Dimitra (EDT)/ Salaün, Gwen (EDT)

  • ウェブストア価格 ¥11,303(本体¥10,276)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7436) (2012. 2012. XVI, 488 S. 142 SW-Abb. 235 mm)
  • 洋書

FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7436) (2012. 2012. XVI, 488 S. 142 SW-Abb. 235 mm)  Paperback

Herausgegeben von Giannakopoulou, Dimitra/ Mery, Dominique

  • ウェブストア価格 ¥12,850(本体¥11,682)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 116pt
  • 海外取次在庫