
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 | November 1, 1999 |
| Idioma | inglés |
| Páginas | 405 |
| Formato | Paperback |
| ISBN-13 | 9780521656023 |
| ISBN-10 | 0521656028 |