Formal Modeling and Analysis of Timed Systems, FORMATS 2003 : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2791) (2004. VIII, 281 p. 23,5 cm)
  • 洋書

Formal Modeling and Analysis of Timed Systems, FORMATS 2003 : First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science Vol.2791) (2004. VIII, 281 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Kim G. Larsen a. Peter Niebert

  • ウェブストア価格 ¥12,697(本体¥11,543)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 115pt
  • 海外取次在庫