Requirements Engineering: Foundation for Software Quality : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Requirements Engineering: Foundation for Software Quality : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings  言語:ENG

Madhavji, Nazim (EDT)/Pasquale, Liliana (EDT)/Ferrari, Alessio (EDT)/Gnesi, Stefania (EDT)

  • 価格 ¥9,897(本体¥8,998)
  • Springer(2020/03/18発売)
  • ポイント 2,225pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Critical Systems: Formal Methods and Automated Verification〈1st ed. 2016〉 : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Critical Systems: Formal Methods and Automated Verification〈1st ed. 2016〉 : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings  言語:ENG

ter Beek, Maurice H. (EDT)/Gnesi, Stefania (EDT)/Knapp, Alexander (EDT)

  • 価格 ¥9,897(本体¥8,998)
  • Springer(2016/09/12発売)
  • ポイント 2,225pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)