Handbook of logic in computer science / ed. S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum.
Series Handbooks of logic in computer science and artificial intelligence and logic programmingDetalles de publicación: Oxford : Oxford university, 1992-1994Descripción: 6 v. : il. ; 25 cmISBN:- 0198537352 (v.1)
- 0198537611 (v.2)
- 019853762X (v.3)
- 0198537808 (v. 4)
Contenidos:
v. 1. Background : Mathematical structures -- v. 2. Background : Computational structures -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Theoretical methods in specification and verification -- v. 6. Logical methods in computer science.
Tipo de ítem | Biblioteca actual | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|
Libro | FaMAF Sección Computación | C F4.1 H236 v.4 | Disponible | 14501 | ||
Libro | FaMAF Sección Computación | C F4.1 H236 v.1 | Disponible | 14241 | ||
Libro | FaMAF Sección Computación | C F4.1 H236 v.2 | Disponible | 14252 | ||
Libro | FaMAF Sección Computación | C F4.1 H236 v.3 | Disponible | 14081 |
Total de reservas: 0
La biblioteca posee v. 1, 2 , 3 y 4.