An Introduction to Discrete Mathematics, Formal System Specification, and Z (Oxford Applied Mathematics and Computing Science Series)

Rating:
Summary: very clear exposition
Review: This book is a very clear exposition on how tu use formal techniques like Z. It is both rigorous and clear. First the mathematical theory is introduced in a rigorous way and then it is explained how these techniques are applied in specifying formal models. The examples are also very good : small and clear, but containing enough information to learn the stuff..