Synthetic Organic Chemicals


Book Description







The Pi-Calculus


Book Description

Graduate text on the p-calculus, a mathematical model of mobile computing systems.




Understanding Z


Book Description

The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications.







Applications of Formal Methods


Book Description

This collection of case studies contains contributions illustrating the application of formal methods to real-life problems with industrial relevance.







Flexible Circuit Technology


Book Description

Explains the design, fabrication and assembly of flexible circuits, and how, when and why they are best used. The second edition is expanded with new ways flexible circuits are being used to solve complex electronic packaging problems. Annotation c. Book News, Inc., Portland, OR (booknews.com).