Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Programming and Software Engineering) (2015)
  • 洋書

Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Programming and Software Engineering) (2015)  Paperback,  言語:ENG

Núñez, Manuel (EDT)/ Güdemann, Matthias (EDT)

  • ウェブストア価格 ¥11,226(本体¥10,206)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 102pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Go Where the Bugs Are : Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
  • 洋書

Go Where the Bugs Are : Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Ernst, Gidon (EDT)/ Güdemann, Matthias (EDT)/ Knapp, Alexander (EDT)

  • Springer International Publishing AG(2025/05発売)
  • ご注文いただけません