Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings (Programming and Software Engineering)
  • 洋書

Software Engineering for Resilient Systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥9,311(本体¥8,465)
  • Springer International Publishing AG(2015/08発売)
  • ポイント 84pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (Ifip Advances in Information and C
  • 洋書

Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy (Ifip Advances in Information and C  Paperback,  言語:ENG

Ciancarini, Paolo (EDT)/ Fantechi, Alessandro (EDT)/ Gorrieri, Roberto (EDT)

  • ウェブストア価格 ¥45,532(本体¥41,393)
  • Springer-Verlag New York Inc.(2013/01発売)
  • ポイント 413pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer Nature Switzerland AG(2019/09発売)
  • ポイント 103pt
  • 海外取次在庫
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings (Programming and Software Engineering)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2017/10発売)
  • ポイント 103pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。