Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings (Lecture Notes in Computer Science Vol.2989) (2004. X, 309 p. 23,5 cm)
  • 洋書

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings (Lecture Notes in Computer Science Vol.2989) (2004. X, 309 p. 23,5 cm)  Paperback,  言語:ENG

Ed. by Susanne a. Laurent Mounier

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN(2004発売)
  • ポイント 120pt
  • 海外取次在庫