Programming and Software Engineering
© 2008
Formal Methods for Computational Systems Biology
8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
Editors: Bernardo, Marco, Degano, Pierpaolo, Zavattaro, Gianluigi (Eds.)
Free PreviewBuy this book
- Table of contents (14 chapters)
-
-
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions
Pages 1-20
-
Pathway Logic
Pages 21-53
-
Formal Cell Biology in Biocham
Pages 54-80
-
Hierarchical Modeling for Computational Biology
Pages 81-124
-
Simulation Methods in Systems Biology
Pages 125-167
-
Table of contents (14 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Formal Methods for Computational Systems Biology
- Book Subtitle
- 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008
- Editors
-
- Marco Bernardo
- Pierpaolo Degano
- Gianluigi Zavattaro
- Series Title
- Programming and Software Engineering
- Series Volume
- 5016
- Copyright
- 2008
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-540-68894-5
- DOI
- 10.1007/978-3-540-68894-5
- Softcover ISBN
- 978-3-540-68892-1
- Edition Number
- 1
- Number of Pages
- X, 527
- Topics