Spar
Automated Technology for Verification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia.
- Undertittel
- 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
- Redaktør
- Susanne Graf, Wenhui Zhang
- Opplag
- 2006 ed.
- ISBN
- 9783540472377
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 10.10.2006
- Antall sider
- 546
