Most Popular Books
- Object Orientation with Parallelism and Persistence
- Systematic Software Development Using Vdm (Prentice Hall International Series in Computer Science)
- The Vienna Development Method: The Meta-Language
- Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
- Mural: A Formal Development Support System
