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)

  • ウェブストア価格 ¥12,078(本体¥10,980)
  • Springer International Publishing AG(2015/04発売)
  • ポイント 109pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。