Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers (Programming and Software Engineering)
  • 洋書

Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers (Programming and Software Engineering)  Paperback

Bianculli, Domenico (EDT)/ Calinescu, Radu (EDT)/ Rumpe, Bernhard (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2016/02発売)
  • ポイント 102pt
  • 海外取次在庫
Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Programming and Software Engineering)  Paperback

Calinescu, Radu (EDT)/ Rumpe, Bernhard (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Large-Scale Complex IT Systems. Development, Operation and Management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .7539) (2012. 2012. XII, 417 S.)
  • 洋書

Large-Scale Complex IT Systems. Development, Operation and Management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .7539) (2012. 2012. XII, 417 S.)  Paperback

Herausgegeben von Calinescu, Radu/ Garlan, David

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ポイント 115pt
  • 海外取次在庫
Software Engineering for Resilient Systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり

Software Engineering for Resilient Systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Calinescu, Radu (EDT)/ Di Giandomenico, Felicita (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 102pt
  • 海外取次在庫