Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Detalles de publicación: Cambridge ; New York : Cambridge University, 2009.Edición: 2nd edDescripción: xiv, 427 p. : il. ; 25 cmISBN:- 9780521543101
Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | |
---|---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F4 H979 ej.2 | Disponible | 20654 | |||
Libro | FaMAF Sección Computación | C F4 H979 | Disponible | 20448 |
Total de reservas: 0
La biblioteca posee 2 ej.
Incluye referencias bibliográficas (p. 414-417) e índice.