Formal Modeling and Analysis of Timed Systems : Third International Conference, Formats 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lec
  • 洋書

Formal Modeling and Analysis of Timed Systems : Third International Conference, Formats 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lec  Paperback,  言語:ENG

Pettersson, Paul/ Yi, Wang/ Formats 200 (2005 Uppsala, Sweden)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag New York Inc(2006/02発売)
  • ポイント 104pt
  • 海外取次在庫