Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Tipo de material: TextoSeries Advances in formal methods ; 3Detalles de publicación: Boston [etc.] : Kluwer Academic Publishers, cop. 2000 Descripción: 270 pISBN: 0792377443 Tema(s): Programación de ordenadores | Ingeniería del softwareTipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | Bibliografía recomendada |
---|---|---|---|---|---|---|---|---|
Manuales | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3/KAU/com (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3720865063 | |||
Manuales | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 681.3/KAU/com (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3741365975 |
Total de reservas: 0
Bibliografía. -Índices
No hay comentarios en este titulo.