Specification and Transformation of Programs: A Formal Approach to Software Development
por Bernhard Möller · 2003
Ver sugerenciasSinopsis
Este libro presenta un enfoque formal y basado en la lógica para la especificación, diseño y verificación de programas. Utiliza calculo de predicados y otras herramientas lógicas para transformar especificaciones en código ejecutable.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.