Animal cell culture is an important laboratory technique in the biological and medical sciences. It has become an essential tool for the study of most biochemical and physiological processes and the use of large-scale animal cell culture has become increasingly important to the commercial production of specific compounds for the pharmaceutical industry. This book describes the basic requirements for establishing and maintaining cell cultures both in the laboratory and in large-scale operations. Minimal background knowledge of the subject is assumed and therefore it will be a readable...

The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri?cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t-...

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.