Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.
| ISBN: | 9783642142949 |
| Publication date: | 30th June 2010 |
| Author: | Tayssir Touili, Byron Cook, Paul Jackson |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 676 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Artificial intelligence Network hardware Compilers and interpreters Software Engineering |
Constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.
Computer Aided Verification Theoretical Computer Science and General Issues features in the following genres: Mathematical theory of computation, Artificial intelligence, Network hardware, Compilers and interpreters, Software Engineering
Computer Aided Verification Theoretical Computer Science and General Issues is available in Paperback
Computer Aided Verification Theoretical Computer Science and General Issues was written by Tayssir Touili, Byron Cook, Paul Jackson and published by Springer an imprint of Springer Berlin Heidelberg
Computer Aided Verification Theoretical Computer Science and General Issues has 676 pages
Yes it is part of Lecture Notes in Computer Science series