Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science)

アマゾンで詳細を見る

カテゴリ/定価/発売日 本/12015円/2008-07-25 アクション (残り0枚)