Now that formal methods are seen as a necessary and beneficial theoretical tool for systems designers and programmers, this book offers a thorough and comprehensive tutorial introduction to Z taking as its starting point the practical use of this formal specification language. Case studies are used to illustrate all aspects of Z and are introduced early on in order to motivate the mathematical notations that have to be covered. Standard notation is used throughout. Many proofs are included and they are presented using the commonest format for natural deduction proofs. With exercises given and...

This is an easy-to-follow tutorial on the most popular text processing system used in the academic community. It explains formatting fundamentals and the more complex techniques for typesetting mathematical formulas. It is useful as a resource for those with access to the previous version (LATEX 2.09) who want to update themselves on the latest version - LATEX 2.

The book is aimed at anyone interested in text processing and in particular those wanting to use LATEX to produce high quality documents. LATEX 2e is suitable for people with no previous LATEX experience.

...