Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Salaün, Gwen (EDT)/ Wijs, Anton (EDT)

  • ウェブストア価格 ¥10,205(本体¥9,278)
  • Springer Nature Switzerland AG(2021/11発売)
  • ポイント 92pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ölveczky, Peter Csaba (EDT)/ Salaün, Gwen (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 102pt
  • 海外からお取り寄せ(通常6~9週間)
Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers (Programming and Software Engineering)  Paperback,  言語:ENG

Mazzara, Manuel (EDT)/ Ober, Iulian (EDT)/ Salaün, Gwen (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer Nature Switzerland AG(2018/12発売)
  • ポイント 102pt
  • 海外取次在庫
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,226(本体¥10,206)
  • Springer International Publishing AG(2014/08発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Programming and Software Engineering) (2013)
  • 洋書

Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Programming and Software Engineering) (2013)  Paperback,  言語:ENG

Pasareanu, Corina S (EDT)/ Salaün, Gwen (EDT)

  • ウェブストア価格 ¥14,699(本体¥13,363)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/01発売)
  • ポイント 133pt
  • 海外取次在庫