Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
- Författare
- Kousha Etessami
- Genre
- Electronic books
- Språk
- Okänt
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Springer | 2005 | Utgivningsland okänt / Ej specificerat |