Most Popular Books
- Handbook of Logic in Computer Science 5
- The Specification of Computer Programs (International Computer Science Series)
- Fundamental Approaches to Software Engineering: Third International Conference, Fase 2000 Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2000 Berlin, Germany,
- On the Construction of Engineering Handbooks : With an Illustration from the Railway Safety Domain
