"Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001 Proceedings"

Författare
Gerard Berry
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
2001 Utgivningsland okänt / Ej specificerat