Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
Tipo de material: TextoEditor: Cambridge : Cambridge University Press, 2004Edición: 2nd edDescripción: xiv, 427 páginas : ilustracionesTipo de contenido: texto Tipo de medio: sin medio Tipo de portador: volumenISBN: 052154310X; 9780521543101Tema(s): Lógica computacional | Programación lógicaClasificación LoC:QA76.9L63 | H87 2004Tipo de ítem | Biblioteca actual | Colección | Clasificación | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|
Libros | Libros Libros | General | QA76.9L63 H87 2004 (Navegar estantería(Abre debajo)) | 1 | Disponible | 8938 |
Total de reservas: 0
Reimpresiones: (20th, 2020)
No hay comentarios en este titulo.