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 rate of growth of stainless steel has outpaced that of other metals and alloys, and by 2010 may surpass aluminum as the second most widely used metal after carbon steel. The 2007 world production of stainless steel was approximately 30,000,000 tons and has nearly doubled in the last ten years. This growth is occurring at the same time that the production of stainless steel continues to become more consolidated. One result of this is a more widespread need to understand stainless steel with fewer resources to provide that information. The concurrent technical evolution in stainless steel and increasing volatility of raw material prices has made it more important for the engineers and designers who use stainless steel to make sound technical judgments about which stainless steels to use and how to use them.