1～5件／全5件 セーフサーチON
  •  
Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006 Seattle, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 4262〉
  • 洋書

Formal Approaches to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006 Seattle, Revised Selected Papers (Lecture Notes in Computer Science) 〈Vol. 4262〉  Paperback,  言語：ENG

Havelund, Klaus (et al., EDT)

  • ウェブストア価格 ¥11,380（本体¥10,346）
  • Springer（2007/01発売）
  • ポイント 103pt
  • 海外取次在庫
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,380（本体¥10,346）
  • Springer International Publishing AG（2015/04発売）
  • ポイント 103pt
  • オンデマンド(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,380（本体¥10,346）
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K（2014/03発売）
  • ポイント 103pt
  • 海外取次在庫
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,695（本体¥18,814）
  • Springer International Publishing AG（2018/07発売）
  • ポイント 188pt
  • 海外取次在庫
NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings (Lecture Notes in Computer Science)
  • 洋書

NASA Formal Methods : 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語：ENG

Deshmukh, Jyotirmoy V. (EDT)/ Havelund, Klaus (EDT)/ Perez, Ivan (EDT)

  • ウェブストア価格 ¥28,974（本体¥26,340）
  • Springer International Publishing AG（2022/05発売）
  • ポイント 263pt
  • 海外取次在庫
1～5件／全5件
  •