Most Popular Books
- VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)
- Compositionality: The Significant Difference: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures (Lecture Notes in Computer Science)
