Most Popular Books
- Formal Methods in Computer-Aided Design: Second International Conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998, Proceedings (Lecture Notes in Computer Science)
- Computation Engineering:: Formal Specification and Verification Methods
- Computation Engineering: Applied Automata Theory and Logic
- Specification and Analysis of Discrete Systems:: A Programmer's Perspective
- Models of Computation
