A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers.
| ISBN: | 9783642156427 |
| Publication date: | 3rd September 2010 |
| Author: | Ahmed Bouajjani, WeiNgan Chin |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 404 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Mathematical theory of computation Network hardware Compilers and interpreters Computer programming / software engineering |
A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers.
Automated Technology for Verification and Analysis Programming and Software Engineering features in the following genres: Software Engineering, Mathematical theory of computation, Network hardware, Compilers and interpreters, Computer programming / software engineering
Paperback. Not Available.
Automated Technology for Verification and Analysis Programming and Software Engineering was written by Ahmed Bouajjani, WeiNgan Chin and published by Springer an imprint of Springer Berlin Heidelberg
Automated Technology for Verification and Analysis Programming and Software Engineering has 404 pages
Yes it is part of Lecture Notes in Computer Science series