NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Lecture Notes in Computer Science) (2019)
  • 洋書
  • 電子版あり
  • ポイントキャンペーン

NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings (Lecture Notes in Computer Science) (2019)  Paperback,  言語:ENG

Badger, Julia M. (EDT)/ Rozier, Kristin Yvonne (EDT)

  • ウェブストア価格 ¥16,154(本体¥14,686)
  • Springer Nature Switzerland AG(2019/05発売)
  • ポイント 292pt
  • 海外取次在庫
NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Programming and Software Engineering) (2014)
  • 洋書
  • ポイントキャンペーン

NASA Formal Methods : 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings (Programming and Software Engineering) (2014)  Paperback,  言語:ENG

Badger, Julia M. (EDT)/ Rozier, Kristin Yvonne (EDT)

  • ウェブストア価格 ¥11,845(本体¥10,769)
  • Springer International Publishing AG(2014/04発売)
  • ポイント 214pt
  • 海外取次在庫