La Reconstructibilidad de los Sistemas
1978·divulgacion
Sata explora desde una perspectiva matemática y lógica cómo los sistemas complejos pueden ser construidos a partir de componentes más simples y cómo se pueden verificar sus propiedades, con aplicaciones en la ingeniería de software.
