"Computer Aided Vertification: 10th International Conference, CAV '98, Vancouver, Canada, June 28-July 2, 1998. Proceedings"
- Författare
- A. J Hu
- Genre
- Electronic books
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 1998 | Utgivningsland okänt / Ej specificerat |