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

  • ウェブストア価格 ¥18,781(本体¥17,074)
  • IEEE Computer Society(2013/01発売)
  • ポイント 170pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥10,798(本体¥9,817)
  • Springer International Publishing AG(2016/09発売)
  • ポイント 98pt
  • オンデマンド(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)

  • ウェブストア価格 ¥10,798(本体¥9,817)
  • Springer International Publishing AG(2016/11発売)
  • ポイント 98pt
  • オンデマンド(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
  • 洋書

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  Paperback,  言語:ENG

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

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2014/03発売)
  • ご注文いただけません
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

  • ウェブストア価格 ¥25,008(本体¥22,735)
  • SPRINGER, BERLIN(2003発売)
  • ポイント 227pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥12,502(本体¥11,366)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 113pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥12,502(本体¥11,366)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 113pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥10,798(本体¥9,817)
  • Springer Nature Switzerland AG(2020/03発売)
  • ポイント 98pt
  • 海外取次在庫