Most Popular Books
- Reuse-based Software Engineering: Techniques, Organizations, and Measurement (A Wiley-Interscience publication)
- An Introduction to Programme Fault Tolerance
- An Introduction to Formal Program Verification
- Software Testing: Concepts and Operations
- Discrete Mathematics and Logic: Theoretical Foundations for Computer Science, An Arabic Text





