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
Navegando Bodega Estantes, Código de colección: Colección / Fondo / Acervo / Resguardo Cerrar el navegador de estanterías
005.12 S241i 6a.ed Ingeniería de software clásica orientada a objetos / | 005.13 A131L Lenguaje ensamblador y programación IBM PC y compatibles/ | 005.13 P964 Programming systems and languages/ | 005.131 M654u Understanding formal methods/ | 005.133 A135s 2a.ed Structure and interpretarion of computer programs/ | 005.133 A547e Essential Lisp/ | 005.133 A587c Core J2EE patterns: best practices and design strategies/ |
Incluye bibliografía e índice p. 255
No hay comentarios en este titulo.