Logic in Computer Science
Modelling and Reasoning about Systems
Edición de la obra Logic in Computer Science
| Autor | Michael Huth, Mark Ryan |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | August 30, 2004 |
| Idioma | inglés |
| Páginas | 440 |
| Formato | Paperback |
| ISBN-13 | 9780521543101 |
| ISBN-10 | 052154310X |
| OCLC | 855545075, 54960031 |
| LCCN | 2004045921 |