Tallenna
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.
- Alaotsikko
- Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
- Toimittaja
- Doron A. Peled, Yih-Kuen Tsay
- Painos
- 2005 ed.
- ISBN
- 9783540292098
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 19.9.2005
- Sivumäärä
- 508
