Journeys Between Formal Methods and the Railway Industry : Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday (Lecture Notes in Computer Science 16470) (2026. x, 358 S. X, 358 p. 119 illus. 235 mm)
  • 洋書
  • 予約

Journeys Between Formal Methods and the Railway Industry : Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday (Lecture Notes in Computer Science 16470) (2026. x, 358 S. X, 358 p. 119 illus. 235 mm)  Paperback,  言語:ENG

Herausgegeben:ter Beek, Maurice H./ Gnesi, Stefania/ Haxthausen, Anne E./ Semini, Laura

  • ウェブストア価格 ¥27,737(本体¥25,216)
  • SPRINGER, BERLIN; SPRINGER(2026/06発売)
  • ポイント 252pt
  • ご予約受付中。出版後の入荷・発送
Formal Methods for Industrial Critical Systems : A Survey of Applications
  • 洋書
  • 電子版あり

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

Gnesi, Stefania/ Margaria, Tiziana

  • ウェブストア価格 ¥22,322(本体¥20,293)
  • IEEE Computer Society(2013/01発売)
  • ポイント 202pt
  • 海外取次在庫
Critical Systems: Formal Methods and Automated Verification : 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, I
  • 洋書
  • 電子版あり

Critical Systems: Formal Methods and Automated Verification : 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, I  Paperback

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

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Programming and Software Engineering)  Paperback

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

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 110pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Theoretical Com (2014)
  • 洋書

Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings (Theoretical Com (2014)  Paperback,  言語:ENG

Gnesi, Stefania (EDT)/ Rensink, Arend (EDT)

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/03発売)
  • ポイント 110pt
  • 海外取次在庫
Requirements Engineering: Foundation for Software Quality : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings (Programming and Software Engineering)
  • 洋書
  • 電子版あり

Requirements Engineering: Foundation for Software Quality : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings (Programming and Software Engineering)  Paperback

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

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer Nature Switzerland AG(2020/03発売)
  • ポイント 110pt
  • 海外取次在庫
Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7321) (2012. 2012. XII, 360 S. 235 mm)
  • 洋書

Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7321) (2012. 2012. XII, 360 S. 235 mm)  Paperback

Herausgegeben von Derrick, John/ Gnesi, Stefania/ Latella, Diego/ Treharne, Helen

  • ウェブストア価格 ¥14,150(本体¥12,864)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 128pt
  • 海外取次在庫
Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7316) (2012. 2012. XV, 378 S. 235 mm)
  • 洋書

Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7316) (2012. 2012. XV, 378 S. 235 mm)  Paperback

Herausgegeben von Derrick, John/ Fitzgerald, John S./ Gnesi, Stefania/ Khurshid, Sarfraz/ Leuschel, Michael

  • ウェブストア価格 ¥14,150(本体¥12,864)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 128pt
  • 海外取次在庫
FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science 2805) (2003. XVII, 942 S. 235 mm)
  • 洋書

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science 2805) (2003. XVII, 942 S. 235 mm)  Paperback,  言語:ENG

Herausgegeben von Araki, Keijiro/ Gnesi, Stefania/ Mandrioli, Dion

  • ウェブストア価格 ¥28,304(本体¥25,731)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 257pt
  • 海外取次在庫