Software Engineering and Formal Methods More Books by Javier Cámara & Martin Steffen

Formal Aspects of Component Software Formal Aspects of Component Software
2024
Aquel Francisco Aquel Francisco
2021
Software Architecture Software Architecture
2020