Estudio y desarrollo de herramientas sobre probadores de teoremas

El aumento en el uso de las herramientas para la especificación y verificación de programas dentro de la industria de hardware y de software estaría revelando en el ámbito de las carreras de grado universitarias la necesidad de preparar a los estudiantes en el campo de las tecnologías de la verifica...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Inchaurrondo, Claudia Inés, Montejano, Germán Antonio, Figueiredo, Lucília Camarão de
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2011
Materias:
Ciencias Informáticas
aprendizaje
SOFTWARE ENGINEERING
ingeniería de software
Tools
probadores de teoremas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/20122
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares