Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings (Lecture Notes in Computer Science)  Paperback

Aichernig, Bernhard K. (EDT)/ Furia, Carlo A. (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2016/06発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Object, Models, Components, Patterns : 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7304) (2012. 2012. XI, 372 S. 235 mm)
  • 洋書

Object, Models, Components, Patterns : 50th International Conference, TOOLS Europe 2012, Prague, Czech Republic, May 29-31, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7304) (2012. 2012. XI, 372 S. 235 mm)  Paperback

Herausgegeben von Furia, Carlo A./ Nanz, Sebastian

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 115pt
  • 海外取次在庫
Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Integrated Formal Methods : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Lecture Notes in Computer Science)  Paperback

Furia, Carlo A. (EDT)/ Winter, Kirsten (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2018/08発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。