1～4件／全4件 セーフサーチ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 (Programming and Software Eng （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 (Programming and Software Eng （2014）  Paperback,  言語：ENG

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

  • ウェブストア価格 ¥11,303（本体¥10,276）
  • Springer International Publishing AG（2014/05発売）
  • ポイント 102pt
  • 海外取次在庫
Software Reuse for Dynamic Systems in the Cloud and Beyond : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings (Programming and Software Engineering) （2014）
  • 洋書

Software Reuse for Dynamic Systems in the Cloud and Beyond : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings (Programming and Software Engineering) （2014）  Paperback

Schaefer, Ina (EDT)/ Stamelos, Ioannis (EDT)

  • ウェブストア価格 ¥11,303（本体¥10,276）
  • Springer International Publishing AG（2014/12発売）
  • ポイント 102pt
  • 海外取次在庫
Fundamental Approaches to Software Engineering : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Lecture Notes in Com （2015）
  • 洋書

Fundamental Approaches to Software Engineering : 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings (Lecture Notes in Com （2015）  Paperback

Egyed, Alexander (EDT)/ Schaefer, Ina (EDT)

  • ウェブストア価格 ¥11,303（本体¥10,276）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2015/04発売）
  • ポイント 102pt
  • 海外取次在庫
Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Theoretical Computer Science and General Issues)
  • 洋書
  • 電子版あり

Software Engineering and Formal Methods : 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Theoretical Computer Science and General Issues)  Paperback

Johnsen, Einar Broch (EDT)/ Schaefer, Ina (EDT)

  • ウェブストア価格 ¥11,303（本体¥10,276）
  • Springer International Publishing AG（2018/05発売）
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～4件／全4件
  •