Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops〈1st ed. 2021〉 : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers
  • 洋書電子書籍
  • 電子書籍

Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops〈1st ed. 2021〉 : ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14–15, 2020, Revised Selected Papers  言語:ENG

Cleophas, Loek (EDT)/Massink, Mieke (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2021/01/16発売)
  • ポイント 91pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Model Management and Analytics for Large Scale Systems
  • 洋書電子書籍
  • 電子書籍

Model Management and Analytics for Large Scale Systems  言語:ENG

Tekinerdogan PhD, Bedir (EDT)/Babur, Önder (EDT)/Cleophas, Loek (EDT)/van den Brand, Mark (EDT)/Aksit, Mehmet (EDT)

  • 価格 ¥28,512(本体¥25,920)
  • Academic Press(2019/09/14発売)
  • ポイント 259pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)