Provably Correct Systems (Nasa Monographs in Systems and Software Engineering)
  • 洋書
  • 電子版あり

Provably Correct Systems (Nasa Monographs in Systems and Software Engineering)  Hardcover

Hinchey, Mike (EDT)/ Bowen, Jonathan P. (EDT)/ Olderog, Ernst-Rüdiger (EDT)

  • Springer International Publishing AG(2017/03発売)
  • ご注文いただけません
Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Florida, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4789〉
  • 洋書

Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Florida, Proceedings (Lecture Notes in Computer Science) 〈Vol. 4789〉  Paperback,  言語:ENG

Butler, M. (EDT)/ Hinchey, M. G. (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer(2007/12発売)
  • ポイント 112pt
  • 海外取次在庫
Conquering Complexity
  • 洋書
  • 電子版あり

Conquering Complexity  Hardcover,  言語:ENG

Hinchey, M. (EDT)/ Coyle, L. (EDT)

  • ウェブストア価格 ¥38,294(本体¥34,813)
  • Springer(2012/01発売)
  • ポイント 348pt
  • 海外取次在庫
Biologically-Inspired Collaborative Computing (IFIP International Federation for Information Processing) 〈Vol. 268〉
  • 洋書

Biologically-Inspired Collaborative Computing (IFIP International Federation for Information Processing) 〈Vol. 268〉  Hardcover

Hinchey, M.

  • ウェブストア価格 ¥33,973(本体¥30,885)
  • Springer(2008/09発売)
  • ポイント 308pt
  • 海外からお取り寄せ(通常6~9週間)
Autonomy Requirements Engineering for Space Missions (Nasa Monographs in Systems and Software Engineering)
  • 洋書
  • 電子版あり

Autonomy Requirements Engineering for Space Missions (Nasa Monographs in Systems and Software Engineering)  Hardcover

Vassev, Emil/ Hinchey, Mike

  • ウェブストア価格 ¥24,777(本体¥22,525)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 225pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。