Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
Doron A. Peled, Yih-Kuen Tsay (eds.)
Bok Engelsk 2005 ATVA 2005
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | XII, 506 s. : ill.
|
| Emner | |
| ISBN | 3540292098. - 9783540292098
|
