Refinement calculus: a systematic Introduction / Ralph-Johan Back.
Tipo de material:
TextoSeries Graduate Texts in Computer ScienceDetalles de publicación: New York: Springer 1998Descripción: 519 pISBN: - 0387984178
- 005.14 B124r
| Imagen de cubierta | Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Ubicación en estantería | Signatura topográfica | Materiales especificados | Info Vol | URL | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | Prioridad de la cola de reserva de ejemplar | Reservas para cursos | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
LIBRO - MATERIAL GENERAL
|
Bodega | Colección / Fondo / Acervo / Resguardo | 005.14 B124r (Navegar estantería(Abre debajo)) | Ej. 1 | 1 | Disponible | 017981 |
Total de reservas: 0
Incluye bibliografía e índice p. 501
No hay comentarios en este titulo.
Iniciar sesión para colocar un comentario.
