Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Edición de la obra Computer Science Logic
| Autor | Jacques Duparc, Thomas A. Henzinger |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540749158 |
| Número de Cutter | D931c |