著者

出版社

NASA Formal Methods : Third International Symposium, NFM 2011, USA, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6617〉
  • 洋書

NASA Formal Methods : Third International Symposium, NFM 2011, USA, Proceedings (Lecture Notes in Computer Science) 〈Vol. 6617〉  Paperback

Bobaru, M. (EDT)/ Havelund, K. (EDT)

  • ウェブストア価格 ¥13,156(本体¥11,960)
  • Springer(2011/06発売)
  • ポイント 119pt
  • 海外取次在庫