Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science)

アマゾンで詳細を見る

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