Most Popular Books
- Introduction to Discrete Mathematics for Software Engineering (Computer Science Series)
- FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
- Introduction to Discrete Mathematics for Software Engineering