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.
alemán
Bernhard Möller es un reconocido autor alemán cuya obra se centra en la ficción contemporánea y la crítica social. Su relevancia radica en su enfoque innovador y profundo sobre los temas de identidad y pertenencia en la sociedad moderna.
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.
Aparecen junto a Bernhard Möller en búsquedas del archivo