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)版です。キャンセルは承れません。