Specification and Transformation of Programs: A Formal Approach to Software Development
por Bernhard Möller · 2003
Sinopsis
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