Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification〈1st ed. 2017〉 : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification〈1st ed. 2017〉 : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings  言語:ENG

Fantechi, Alessandro (EDT)/Lecomte, Thierry (EDT)/Romanovsky, Alexander (EDT)

  • 価格 ¥10,117(本体¥9,198)
  • Springer(2017/11/06発売)
  • ポイント 2,730pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Software Engineering for Resilient Systems〈1st ed. 2015〉 : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

Software Engineering for Resilient Systems〈1st ed. 2015〉 : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings  言語:ENG

Fantechi, Alessandro (EDT)/Pelliccione, Patrizio (EDT)

  • 価格 ¥8,093(本体¥7,358)
  • Springer(2015/08/27発売)
  • ポイント 2,190pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
  • 洋書電子書籍
  • 電子書籍
  • ポイントキャンペーン

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday  言語:ENG

ter Beek, Maurice H. (EDT)/Fantechi, Alessandro (EDT)/Semini, Laura (EDT)

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