2 Ergebnisse.

Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.

LATEX Line by Line Second Edition Tips and Techniques for Document Processing How many hours have you spent trying to get LATEX to do what You want? If the answer is 'too many', then you need LATEX Line by Line. Written for LATEX novices, this book starts from the very basics providing clear explanations and realistic examples. The book is designed to help you find solutions to specific tasks, such as indexing, setting complicated mathematics ...