Both a tutorial on specifying systems and a complete reference to TLA, this is the distillation of 25 years of work by a renowned computer scientist. Divided into four parts, the first part contains all that most programmers and engineers need to know about writing specifications. The second part has advanced material for more sophisticated readers. The third and fourth parts comprise a reference manual for TLA+--both the language itself as well as its tools.

The Reference of Choice for Today's Engineer. Revised, expanded, updated -- and ready to use! Every engineer should have a copy of the bestselling Wiley Engineer's Desk Reference -- the ideal all-in-one resource for practical engineering applications and daily problem solving. Now fully updated to address the latest developments in theory and practice, this brand-new Second Edition balances authoritative coverage of classical engineering topics with new material on state-of-the-art subjects such as composites, lasers, automatic data collection, and more. No other book on the market covers the broad spectrum of engineering in as concise a fashion. So whether you're looking for a specific piece of data or general background knowledge, this conveniently sized ready reference puts the information you need right at your fingertips. Contents include: * Mathematics * Mechanics and materials * Hydraulics * Structures * Thermodynamics * Electricity and electronics * Process control * Statistics and economics * Energy sources * Engineering practice * The design process * Tables and reference data.

The title is misleading until you check out the contents. It is all about HVAC and more. This compilation has organized data frequently used by Mechanical Engineers, Mechanical Contractors and Plant Facility Engineers. The book will end the frustration on a busy day searching for design criteria.