Radu Calinescu — Books & Biography | Menrva Books | MenrvaBooks

Radu Calinescu

Is this your author profile? Create an account to customize it!

Stand Alone

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems

Foundations of Computer Software

Software Engineering and Formal Methods

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.