Computer Aided Verification electronic resource : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings / edited by Gerard Berry, Hubert Comon, Alain Finkel
- Författare
- France) 2001 : (13th CAV (Conference) Paris
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |