Formal Techniques for Distributed Objects, Components, and Systems More Books by Carla Ferreira & Claudio Antares Mezzina

Software Engineering and Formal Methods Software Engineering and Formal Methods
Software Engineering and Formal Methods
2023
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