Logic in Computer Science
Modelling and Reasoning about Systems
Edición de la obra Logic in Computer Science
| Autor | Michael Huth, Mark Ryan, M. Huth, M. Ryan |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | January 2000 |
| Idioma | inglés |
| Páginas | 405 |
| Formato | Hardcover |
| ISBN-13 | 9780521652001 |
| ISBN-10 | 0521652006 |