Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5813〉
  • 洋書

Formal Modeling and Analysis of Timed Systems : 7th International Conference, FORMATS 2009, Budapest, Proceedings (Lecture Notes in Computer Science) 〈Vol. 5813〉  Paperback,  言語:ENG

Ouaknine, J. (EDT)/ Vaandrager, F. W. (EDT)

  • ウェブストア価格 ¥12,387(本体¥11,261)
  • Springer(2009/10発売)
  • ポイント 112pt
  • 海外取次在庫