Automated Technology for Verification and Analysis
Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
Lecture Notes in Computer Science
Peled, Doron A. (EDT)
Tsay, Yih-kuen (EDT)
- 出版社：Springer-Verlag New York Inc
- 出版年月：2005年 12月
- ISBN：9783540292098
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：506 p.
- 分類： コンピュータ一般
- DDC分類：004