Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan.
Por: Huth, Michael.
Colaborador(es): Ryan, Mark.
Editor: Cambridge [U.K.] ; Cambridge University Press, 2004Edición: 2nd ed.Descripción: xiv, 427 p. : il. ; 25 cm.ISBN: 9780521543101.Tema(s): Lógica | Programación de computadora | InformáticaClasificación CDD: 005.1/01/5113Tipo de ítem | Ubicación actual | Signatura | Copia número | Estado | Fecha de vencimiento |
---|---|---|---|---|---|
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes SALA | 005.101 HUT (Navegar estantería) | 1 | Disponible | |
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes CIRCULACION | 005.101 HUT (Navegar estantería) | 2 | Disponible | |
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes CIRCULACION | 005.101 HUT (Navegar estantería) | 3 | Disponible | |
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes CIRCULACION | 005.101 HUT (Navegar estantería) | 4 | Disponible |
, Ubicación: SALA Cerrar el navegador de estanterías
No hay imagen de cubierta disponible | No hay imagen de cubierta disponible | |||||||
005.1 WOR Proceedings / | 005.101 COM Computer science logic : | 005.101 DIC Mathematica in the laboratory | 005.101 HUT Logic in computer science : | 005.11 BEN Principles of concurrent and distributed programming | 005.11 LI Programación de componentes COM+ en visual basic con ejemplos / | 005.11 REA Elements of functional programming |
Incluye referencias bibliográficas (414-417) e índice.
LICENCIATURA EN DESARROLLO DE SOFTWARE LICENCIATURA EN INFORMATICA
ALGORITMOS
LOGICA Y PROGRAMACION 2016