Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Lecture Notes in Computer Sc (2014)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Executable Software Models : 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures (Lecture Notes in Computer Sc (2014)  Paperback,  言語:ENG

Bernardo, Marco (EDT)/ Damiani, Ferruccio (EDT)/ Haehnle, Reiner (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2014/05発売)
  • ポイント 214pt
  • 海外取次在庫
Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)
  • 洋書
  • ポイントキャンペーン

Leveraging Applications of Formal Methods, Verification, and Validation (Communications in Computer and Information Science .336) (2012. 2012. 272 S. 235 mm)  Paperback

Herausgegeben von Haehnle, Reiner/ Knoop, Jens/ Margaria, Tiziana/ Schreiner, Dietmar/ Steffen, Bernhard

  • SPRINGER, BERLIN; SPRINGER(2012発売)
  • ご注文いただけません
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science) (2013)
  • 洋書
  • ポイントキャンペーン

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Lecture Notes in Computer Science) (2013)  Paperback,  言語:ENG

Giachino, Elena (EDT)/ Hähnle, Reiner (EDT)/ de Boer, Frank S. (EDT)

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2013/08発売)
  • ポイント 194pt
  • 海外取次在庫
Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)
  • 洋書
  • ポイントキャンペーン

Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering)  Paperback

Ahrendt, Wolfgang (EDT)/ Beckert, Bernhard (EDT)/ Bubel, Richard (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer Nature Switzerland AG(2020/12発売)
  • ポイント 214pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Lecture N (2019)
  • 洋書
  • ポイントキャンペーン

Fundamental Approaches to Software Engineering : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings (Lecture N (2019)  Paperback,  言語:ENG

Hähnle, Reiner (EDT)/ van der Aalst, Wil (EDT)

  • ウェブストア価格 ¥12,922(本体¥11,748)
  • Springer Nature Switzerland AG(2019/04発売)
  • ポイント 234pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。