Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science)

アマゾンで詳細を見る

カテゴリ/定価/発売日 本/15321円/2006-10-10 アクション (残り0枚)