Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008,France, Proceedings  (Lecture Notes in Computer Science) 〈Vol.5215〉
  • 洋書

Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008,France, Proceedings (Lecture Notes in Computer Science) 〈Vol.5215〉  Paperback,  言語:ENG

Cassez, Franck (EDT)/ Jard, Claude (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer(2008/10発売)
  • ポイント 104pt
  • 海外取次在庫
Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Lecture Notes in Computer Science) (2014)
  • 洋書

Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Lecture Notes in Computer Science) (2014)  Paperback

Cassez, Franck (EDT)/ Raskin, Jean-Francois (EDT)

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer International Publishing AG(2014/09発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。