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/5113| Tipo 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: CIRCULACION Cerrar el navegador de estanterías
| 005.1 WIE Software requirements | 005.101 HUT Logic in computer science : | 005.101 HUT Logic in computer science : | 005.101 HUT Logic in computer science : | 005.113 BEC Smalltalk best practice patterns | 005.113 BEC Smalltalk best practice patterns | 005.115 BAR Lógica programable : |
Incluye referencias bibliográficas (414-417) e índice.
LICENCIATURA EN DESARROLLO DE SOFTWARE LICENCIATURA EN INFORMATICA
ALGORITMOS
LOGICA Y PROGRAMACION 2016