Computer-aided reasoning : an approach / by Matt Kaufmann, Panagiotis Manolios, J Strother Moore

Por: Kaufmann, MattColaborador(es): Manolios, Panagiotis | Moore, J StrotherTipo de material: TextoTextoSeries 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 software
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Inicie sesión para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo 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

VERIFICACIÓN Y VALIDACIÓN DEL SOFTWARE GRADO EN INGENIERÍA INFORMÁTICA Asignatura actualizada 2023-2024

PRUEBA DE SOFTWARE EN LA INDUSTRIA MÁSTER EN INVESTIGACIÓN EN INGENIERÍA DE SISTEMAS Y DE LA COMPUTACIÓN Asignatura actualizada 2023-2024

Total de reservas: 0

Bibliografía. -Índices

No hay comentarios en este titulo.

para aportar su opinión.

Con tecnología Koha