Refinement calculus: a systematic Introduction/ Ralph-Johan Back and Joakim von Wright
Tipo de material: TextoSeries Graduate Texts in Computer ScienceEditor: New York: Springer 1998Descripción: 519 pISBN: 0387984178Tema(s): CALCULO | PROGRAMACIÓN (COMPUTADORES ELECTRÓNICOS) -- PROGRAMACIONClasificación CDD: 005.14Tipo 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 | Bodega | Colección / Fondo / Acervo / Resguardo | 005.14 B124r (Navegar estantería) | Ej. 1 | 1 | Disponible | 017981 |
Total de reservas: 0
Incluye bibliografía e índice p. 501
No hay comentarios en este titulo.