alemán
Egon Börger es un destacado científico e investigador alemán, conocido por sus contribuciones en el campo de la lógica computacional y la teoría de sistemas. Su trabajo ha influido en el desarrollo de métodos formales en informática y en la ciencia de la computación.
2005·divulgacion
Este libro presenta un enfoque basado en los 'Abstract State Machines' (ASM) para el diseño, modelado y verificación formal de sistemas autónomos complejos, asegurando su corrección y fiabilidad.
Aparecen junto a Egon Börger en búsquedas del archivo
