中古あり ￥14,977より
(2025/12/09 11:01:00時点)
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Lecture Notes in Computer Science, 3707)
詳しい情報
出版社: Springer(2008-06-13)
ペーパーバック: 524 ページ / 15.5 x 3.0 x 23.5 cm
ISBN-10: 3540292098 ISBN-13: 9783540292098