Imagen de Amazon.com
Matemática discreta y lógica una perspectiva desde la ciencia de la computación
Idioma: Español Detalles de publicación: Madrid Prentice-Hall 1996Edición: 1a. ediciónDescripción: XII, 706 páginas 25 centímetroISBN:- 84-89660-04-2
Contenidos:
Contiene: Cálculo de predicados. Inducción y recursividad. Prolog. Conjuntos y relaciones. Funciones. Grafos y árboles. Especificación formal de requisitos en Z. Verificación de programas. Grámaticas, lenguajes y aná
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Estado | Notas | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|
Libro
|
CENTRAL Humanidades | 005.131 G787 (Navegar estantería(Abre debajo)) | Disponible | EDUCESP_MATINF | 01HULB00022844 |
Navegando CENTRAL estanterías, Ubicación en estantería: Humanidades Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
|
|
|
|
|
|
|
||
| 005.13 M26 2004 Lenguajes formales y teoría de la computación | 005.13 R41 1001 recursos de programación | 005.13 S92 Python 3 | 005.131 G787 Matemática discreta y lógica una perspectiva desde la ciencia de la computación | 005.133 A2 ActionScript 3.0 para Flash CS4 Professional | 005.133 A2 ActionScript 3.0 para Flash CS4 Professional | 005.133 B2G67 Visual basic 5 |
Bibliografía: p. 611-612
Contiene: Cálculo de predicados. Inducción y recursividad. Prolog. Conjuntos y relaciones. Funciones. Grafos y árboles. Especificación formal de requisitos en Z. Verificación de programas. Grámaticas, lenguajes y aná
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.
