Logic in Computer Science
Modelling and Reasoning about Systems
Edición de la obra Logic in Computer Science
| Autor | Michael Huth |
|---|---|
| Editorial | Cambridge University Press |
| Fecha de publicación | 2004 |
| Lugar | Leiden |
| Idioma | inglés |
| Páginas | 443 |
| Formato | [electronic resource] : |
| ISBN-13 | 9780511264016 |
| ISBN-10 | 0511264011 |
| OCLC | 476030464 |
| Número de Cutter | H979l |