VDM-Europe. International Symposium — Books & Biography | Menrva Books | MenrvaBooks

VDM-Europe. International Symposium

Stand Alone

Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.