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