Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings / edited by Jacques Duparc, Thomas A. Henzinger
- Författare
- Switzerland) (2007 CSL 2007 Lausanne
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| uuuu-uuuu | Utgivningsland okänt / Ej specificerat |