1～3件／全3件 セーフサーチON
  •  
NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Programming and Software Engineering) （2015）
  • 洋書

NASA Formal Methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings (Programming and Software Engineering) （2015）  Paperback

Havelund, Klaus (EDT)/ Holzmann, Gerard (EDT)/ Joshi, Rajeev (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer International Publishing AG（2015/04発売）
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedi （2014）
  • 洋書

Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedi （2014）  Paperback,  言語：ENG

Abraham, Erika (EDT)/ Havelund, Klaus (EDT)

  • ウェブストア価格 ¥11,226（本体¥10,206）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/03発売）
  • ポイント 102pt
  • 海外取次在庫
Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering) （2018）
  • 洋書
  • 電子版あり

Formal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Programming and Software Engineering) （2018）  Paperback,  言語：ENG

Havelund, Klaus (EDT)/ Peleska, Jan (EDT)/ Roscoe, Bill (EDT)

  • ウェブストア価格 ¥20,413（本体¥18,558）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 185pt
  • 海外取次在庫
1～3件／全3件
  •