Most Popular Books
- Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers (Lecture Notes in Computer Science)
- Logic Program Synthesis and Transformation: Proceedings of Lopstr 92, International Workshop on Logic Program Synthesis and Transformation, Universit (Workshops in Computing)
- An Introduction to Component-Based Software Development
