Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science) (2015)  Paperback,  言語:ENG

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

  • ウェブストア価格 ¥11,380(本体¥10,346)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 103pt
  • オンデマンド(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)

  • ウェブストア価格 ¥16,661(本体¥15,147)
  • Springer International Publishing AG(2025/05発売)
  • ポイント 151pt
  • 海外からお取り寄せ(通常6~9週間)