1～5件／全5件 セーフサーチON
  •  
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
  • 洋書

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

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

  • Springer International Publishing AG（2014/05発売）
  • ご注文いただけません
Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering)
  • 洋書

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures (Programming and Software Engineering)  Paperback,  言語：ENG

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

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

  • ウェブストア価格 ¥10,730（本体¥9,755）
  • Springer Nature Switzerland AG（2020/12発売）
  • ポイント 97pt
  • オンデマンド(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 (Theoretic
  • 洋書

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 (Theoretic  Paperback,  言語：ENG

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

  • ウェブストア価格 ¥11,706（本体¥10,642）
  • Springer Nature Switzerland AG（2019/04発売）
  • ポイント 106pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～5件／全5件
  •