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,620(本体¥11,473)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 114pt
  • 海外取次在庫
Models, Mindsets, Meta: the What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

Models, Mindsets, Meta: the What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)  Paperback

Margaria, Tiziana (EDT)/ Graf, Susanne (EDT)/ Larsen, Kim G. (EDT)

  • ウェブストア価格 ¥11,148(本体¥10,135)
  • Springer Nature Switzerland AG(2019/06発売)
  • ポイント 101pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。