Formal Methods for Computational Systems Biology
| ISBN: | 9783540688921 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 527 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bernardo, Marco Degano, Pierpaolo Zavattaro, Gianluigi |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 20.05.2008 |
| Untertitel: | 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 |
| Schlagworte: | In silico automata brane calculi design formal methods hierarchical models logic model components modeling multi-level modeling |