Logic in computer science: modelling and reasoning about systems/ Michael Huth and Mark Ryan
Por: Huth, Michael
Colaborador(es): Ryan, MarkEditor: London: Cambridge University Press 2004Descripción: 427 pISBN: 052154310XTema(s): PROGRAMACIÓN LOGICAClasificación CDD: 005.1
| Tipo de ítem | Ubicación actual | Colección | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|---|
LIBRO - MATERIAL GENERAL
|
Biblioteca Jorge Álvarez Lleras | Colección / Fondo / Acervo / Resguardo | 005.1 H874L (Navegar estantería) | Ej. 1 | 1 | Reserva pendiente | 017542 |
Total de reservas: 1
Incluye bibliografía e índice p. 414
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.
No hay comentarios en este titulo.