Kirjahaku

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 clear descriptions and explanations provided, this book is required reading for students and post-experience software engineers learning Z. Enhancements to this edition are more exercises, information on how to relate Z specifications to actual program code, and amendments so that the book is in line with the current language standards.

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. Written from the users point of view, this edition features many entirely new commands, replacing obsolete material as well as an appendix describing the main differences between old version LATEX 2.09 and the new version. There is also a glossary of all basic LATEX 2 commands. Many of the typesetting examples from the book are coded as templates and are available on the accompanying Website.