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 |