Understanding formal methods/ Jean-François Monin
Editor: London: Springer 2003Descripción: 275 pISBN: 1852332476Tema(s): LOGICA MATEMATICA | LOGICA SIMBOLICAClasificación CDD: 005.131Tipo 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.131 M654u (Navegar estantería) | Ej. 1 | 1 | Disponible | 016208 |
Total de reservas: 0
Incluye bibliografía e índice p. 255
No hay comentarios en este titulo.