Logic in computer science modelling and reasoning about systems Michael Huth; Mark Ryan, coaut.
Por: Huth, Michael.
Colaborador(es): Ryan, Mark.
Tipo de material:
LibroEditor: Cambridge Cambridge University Press 2000Descripción: xvii, 387 p. il.ISBN: 0521656028.Materia(s): LOGICA MATEMATICA | COMPUTADORES - MODELOS MATEMATICOSSignatura Topográfica: 004.015113 / H979
| Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|---|
Libro general
|
Campus Jardín. Biblioteca Central Luis Carlos Galán Sarmiento (Bucaramanga) | Colección Sala de Lectura | 004.015113 H979 (Navegar estantería(Abre debajo)) | 1 | Disponible | BL00011386 |
Navegando Campus Jardín. Biblioteca Central Luis Carlos Galán Sarmiento (Bucaramanga) estanterías, Colección: Colección Sala de Lectura Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
| 004.0151 J61 Matemáticas para la computación | 004.0151 J61 Matemáticas para la computación | 004.0151 L769m Matemáticas para computación | 004.015113 H979 Logic in computer science | 004.019 D438 The unifinished revolution | 004.019 G166c Competencias digitales básicas / | 004.019 I61 Intelligent user interfaces |
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.
Universidad Autónoma de Bucaramanga – UNAB | Sujeta a inspección y vigilancia por parte del Ministerio de Educación Nacional | Resolución 3284 (21 diciembre de 1956), Ministerio de Justicia |Resolución: No 10820 del 25 de Mayo de 2017, mediante la cual otorga la renovación de la Acreditación Institucional de Alta Calidad a la Universidad Autónoma de Bucaramanga, con domicilio en la ciudad de Bucaramanga, por 6 años. | Avenida 42 No. 48 – 11, Bucaramanga – Colombia. | PBX (60) (7) 643 6111/643 6261 | Centro de Contacto: 018000127395 | Aviso de Privacidad | © Todos los derechos reservados
