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,535(本体¥10,487)
  • Springer International Publishing AG(2015/04発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7152) (2012. 2012. XI, 326 S.)
  • 洋書

Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7152) (2012. 2012. XI, 326 S.)  Paperback

Herausgegeben von Joshi, Rajeev/ Mueller, Peter/ Podelski, Andreas

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 120pt
  • 海外取次在庫