Catalog

Record Details

Catalog Search


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 Advanced Lectures Cover Image E-book E-book

Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures / edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro.

Bernardo, Marco. (editor.). Degano, Pierpaolo. (editor.). Zavattaro, Gianluigi. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo


Additional Resources