Most Popular Books
- Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation
- Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
- Teaching and Learning Formal Methods (Library and Information Science)
- ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
- Concurrent Systems: Formal Development in Csp (The Mcgraw-Hill International Series in Software Engineering)
