Computer Aided Verification - 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
- Författare
- Kousha. Etessami
- (Edited by Kousha Etessami, Sriram K. Rajamani.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg | 2005 | Tyskland, Berlin, Heidelberg | 978-3-540-31686-2 | |
| Springer-Verlag GmbH. | 2005 | Utgivningsland okänt / Ej specificerat, Berlin Heidelberg | v.: digital |