Software Engineering and Formal Methods More Books by Carla Ferreira & Tim A. C. Willemse

Formal Techniques for Distributed Objects, Components, and Systems Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems
2025
Nature-Based Solutions in Supporting Sustainable Development Goals Nature-Based Solutions in Supporting Sustainable Development Goals
Nature-Based Solutions in Supporting Sustainable Development Goals
2024
Brincar essencial: a aromaterapia na educação Brincar essencial: a aromaterapia na educação
Brincar essencial: a aromaterapia na educação
2022
Design of Reinforced Concrete Sections Under Bending and Axial Forces Design of Reinforced Concrete Sections Under Bending and Axial Forces
Design of Reinforced Concrete Sections Under Bending and Axial Forces
2022
Reversible Computation: Extending Horizons of Computing Reversible Computation: Extending Horizons of Computing
Reversible Computation: Extending Horizons of Computing
2020
Sereno, o príncipe do Mar Azul Sereno, o príncipe do Mar Azul
Sereno, o príncipe do Mar Azul
2016
Padrão de reprodução do capital Padrão de reprodução do capital
Padrão de reprodução do capital
2013