Automated technology for verification and analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Bouajjani, Ahmed
Chin, Wei-Ngan
64,48 €(IVA inc.)
This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held inSingapore, in September 2010. The book includes 3 invited talks, 21 regular papers and 9 tool papers.
- ISBN: 978-3-642-15642-7
- Editorial: Springer
- Encuadernacion: Rústica
- Páginas: 404
- Fecha Publicación: 14/09/2010
- Nº Volúmenes: 1
- Idioma: Inglés