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 (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
FM 2016: Formal Methods〈1st ed. 2016〉 : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

FM 2016: Formal Methods〈1st ed. 2016〉 : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings  言語:ENG

Fitzgerald, John (EDT)/Heitmeyer, Constance (EDT)/Gnesi, Stefania (EDT)/Philippou, Anna (EDT)

  • 価格 ¥9,897(本体¥8,998)
  • Springer(2016/11/06発売)
  • ポイント 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 (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Formal Methods for Industrial Critical Systems : A Survey of Applications
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Formal Methods for Industrial Critical Systems : A Survey of Applications  言語:ENG

Gnesi, Stefania/Margaria, Tiziana

  • 価格 ¥14,056(本体¥12,779)
  • Wiley-IEEE Computer Society Pr(2012/11/27発売)
  • ポイント 3,175pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)