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 |