Software Engineering and Formal Methods〈1st ed. 2021〉 : 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
  • 洋書電子書籍
  • 電子書籍

Software Engineering and Formal Methods〈1st ed. 2021〉 : 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings  言語:ENG

Calinescu, Radu (EDT)/Păsăreanu, Corina S. (EDT)

  • 価格 ¥16,189(本体¥14,718)
  • Springer(2021/12/02発売)
  • ポイント 147pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Software Engineering for Resilient Systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
  • 洋書電子書籍
  • 電子書籍

Software Engineering for Resilient Systems : 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings  言語:ENG

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

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2019/09/10発売)
  • ポイント 91pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Software Engineering and Formal Methods〈1st ed. 2015〉 : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
  • 洋書電子書籍
  • 電子書籍

Software Engineering and Formal Methods〈1st ed. 2015〉 : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers  言語:ENG

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

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2016/01/11発売)
  • ポイント 91pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Software Engineering and Formal Methods〈1st ed. 2015〉 : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
  • 洋書電子書籍
  • 電子書籍

Software Engineering and Formal Methods〈1st ed. 2015〉 : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings  言語:ENG

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

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2015/08/23発売)
  • ポイント 91pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)