Constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004. This work addresses topics such as model-checking theory, theorem-proving theory, state-space reduction techniques, parametric analysis, and more.
| ISBN: | 9783540236108 |
| Publication date: | 19th October 2004 |
| Author: | International Symposium on Automated Technology on Verification and Analysis, Farn Wang |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 506 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Computer-aided design (CAD) Expert systems / knowledge-based systems Network hardware Software Engineering Mathematical theory of computation |
Constitutes the refereed proceedings of the Second International Conference on Automated Technology for Verificaton and Analysis, ATVA 2004, held in Taipei, Taiwan in October/November 2004. This work addresses topics such as model-checking theory, theorem-proving theory, state-space reduction techniques, parametric analysis, and more.
Automated Technology for Verification and Analysis features in the following genres: Computer-aided design (CAD), Expert systems / knowledge-based systems, Network hardware, Software Engineering, Mathematical theory of computation
Paperback. Not Available.
Automated Technology for Verification and Analysis was written by International Symposium on Automated Technology on Verification and Analysis, Farn Wang and published by Springer an imprint of Springer Berlin Heidelberg
Automated Technology for Verification and Analysis has 506 pages
Yes it is part of Lecture Notes in Computer Science series