Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science)
  • 洋書

Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings (Lecture Notes in Computer Science)  Paperback,  言語:ENG

Valmari, Antti (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer-Verlag New York Inc(2006/04発売)
  • ポイント 104pt
  • 海外取次在庫
Application and Theory of Petri Nets and Concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings (Lecture Notes in Computer Science) (2015)
  • 洋書

Application and Theory of Petri Nets and Concurrency : 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings (Lecture Notes in Computer Science) (2015)  Paperback

Devillers, Raymond (EDT)/ Valmari, Antti (EDT)

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2015/05発売)
  • ポイント 104pt
  • 海外取次在庫