Especificación, verificación y derivación formal de programas / Javier Álvez ... [et al.]
Series Always LearningDetalles de publicación: [Madrid, España] Pearson Educación, c2016 2016Descripción: [243] p. 30 cmISBN:- 978-607-16-3504-4
- 005.3/Al87e
Tipo de ítem | Biblioteca actual | Colección | Signatura | Info Vol | Copia número | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
---|---|---|---|---|---|---|---|---|---|
Libro | Sede Quito Primer piso | Col General | 005.3/Al87e (Navegar estantería(Abre debajo)) | V.1 | Ej.1 | Disponible | PUCE201296 |
Total de reservas: 0
Incluye bibliografía
No hay comentarios en este titulo.