This book provides a guide to the writing of unambiguous specifications of complex computer systems. It explains how to describe, with mathematical precision, the behavior properties of a system. Sa
This authoritative user's guide and reference manual for the LATEX computer typesetting system has been revised to document features now available in the new standard software release - LATEX2e. Th