Alkoxo and Aryloxo Derivatives of Metals gives a comprehensive account of the chemistry of metal alkoxides and metal aryloxides, including their industrial applications such as microelectronics, ceramics, nonlinear optical materials, high-temperature superconductors, specialized glasses, and other advanced novel materials. It is an invaluable reference source book. The book is an updated edition of Metal Alkoxides, published by Academic Press in 1978, with additional coverage of metal aryloxides. It reflects the enormous growth in interest in this field in recent years.
Maude is a language and system based on rewriting logic. In this comprehensive account, you'll discover how Maude and its formal tool environment can be used in three mutually reinforcing ways: as a declarative programming language, as an executable formal specification language, and as a formal verification system. Examples used throughout the book illustrate key concepts, features, and the many practical uses of Maude.
Sheet Metal Fabricator Articles
Sheet Metal Fabricator Books
Sheet Metal Fabricator