
Automated Model Building (Applied Logic Series)
Edición de la obra Automated Model Building
| Autor | Ricardo Caferra, Alexander Leitsch, Nicolas Peltier |
|---|---|
| Editorial | Springer |
| Fecha de publicación | November 3, 2004 |
| Idioma | inglés |
| Páginas | 344 |
| Formato | Hardcover |
| ISBN-13 | 9781402026522 |
| ISBN-10 | 1402026528 |
| OCLC | 56760429 |
| Número de Cutter |