Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrucken, Germany, in October 2005.
| ISBN: | 9783540291053 |
| Publication date: | 19th September 2005 |
| Author: | Dominique Borrione, Wolfgang Paul |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 414 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Artificial intelligence Software Engineering Computer hardware |
Constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrucken, Germany, in October 2005.
Correct Hardware Design and Verification Methods Theoretical Computer Science and General Issues features in the following genres: Mathematical theory of computation, Artificial intelligence, Software Engineering, Computer hardware
Paperback. Not Available.
Correct Hardware Design and Verification Methods Theoretical Computer Science and General Issues was written by Dominique Borrione, Wolfgang Paul and published by Springer an imprint of Springer Berlin Heidelberg
Correct Hardware Design and Verification Methods Theoretical Computer Science and General Issues has 414 pages
Yes it is part of Lecture Notes in Computer Science series