Formal Cell Biology: An Introduction to Formal Methods in Systems Biology

Francois Fages

November 15, 2014 by Chapman and Hall/CRC
Reference - 306 Pages - 50 B/W Illustrations
ISBN 9781466505841 - CAT# K14589
Series: Chapman & Hall/CRC Mathematical and Computational Biology

This product is not available
FREE Standard Shipping!


  • Explains the basics of rule-based modeling of complex biochemical systems
  • Provides various levels of abstractions for reasoning about large molecular interaction maps
  • Applies formal methods and constraint optimization techniques to build predictive models of signal transduction and cell cycle
  • Includes exercises and solved problems as well as background information in the appendices


This book explores the use of concepts and tools from theoretical computer science to tackle the complexity of cell processes. In a unified framework, it presents the different modeling formalisms of systems biology, emphasizing their formal relationships by abstraction functions and putting them into practice for building predictive models of cell functions. With exercises and computational models, the book reflects the author’s many years of researching, developing, and applying computer science methods in systems biology.