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