Vai al contenuto principale della pagina

Formal Methods for Computational Systems Biology [Risorsa elettronica] : 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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Formal Methods for Computational Systems Biology [Risorsa elettronica] : 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 Visualizza cluster
Pubblicazione: Berlin ; Heidelberg : Springer, 2008
Persona (resp. second.): Bernardo, Marco
Degano, Pierpaolo
Zavattaro, Gianluigi
Type File/ Data Note: Formato html, pdf
Requisiti sistema: Formato html, pdf
Titolo autorizzato: Formal Methods for Computational Systems Biology  Visualizza cluster
ISBN: 9783540688945
Formato: Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990009253440403321
Lo trovi qui: Univ. Federico II
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/978-3-540-68894-5
Opac: Controlla la disponibilità qui