All about Maude: a high-performance logical framework: how to specify, program, and verify systems in rewriting logic / Manuel Clavel ... [et al.].
Colaborador(es): Clavel, Manuel
Series Lecture notes in computer science; 4350Editor: Berlin: Springer, 2007Descripción: 794 pISBN: 9783540719403Tema(s): LOGICA SIMBOLICA | PROCESO MENTAL DE LA INFORMACIÓN | LENGUAJE DE PROGRAMACIÓNClasificación CDD: 005.133
| Tipo de ítem | Ubicación actual | Colección | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|---|
LIBRO - MATERIAL GENERAL
|
Biblioteca Jorge Álvarez Lleras | Colección / Fondo / Acervo / Resguardo | 005.133 A551 (Navegar estantería) | Ej. 1 | 1 | Disponible | 018926 | ||
|
LIBRO - MATERIAL GENERAL
|
Biblioteca Jorge Álvarez Lleras | Colección / Fondo / Acervo / Resguardo | 005.133 A551 (Navegar estantería) | Ej. 1 | 1 | Disponible | 018926DC |
Total de reservas: 0
Incluye 1 CD
Incluye bibliografía e índice p. 757
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.
No hay comentarios en este titulo.