NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7226) (2012. CDLX, 10 S.)
  • 洋書

NASA Formal Methods : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering .7226) (2012. CDLX, 10 S.)  Paperback

Herausgegeben von Goodloe, Alwyn/ Person, Suzette

  • ウェブストア価格 ¥14,150(本体¥12,864)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 128pt
  • 海外取次在庫