Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7385) (2012. 2012. VI, 258 S. 235 mm)
  • 洋書

Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .7385) (2012. 2012. VI, 258 S. 235 mm)  Paperback

Herausgegeben von Donaldson, Alastair/ Parker, David

  • ウェブストア価格 ¥12,809(本体¥11,645)
  • SPRINGER, BERLIN(2012発売)
  • ポイント 116pt
  • 海外取次在庫