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. Edited by Marco Bernardo - Pierpaolo Degano - Gianluigi Zavattaro. Berlin: Springer, 2008, x, 523. ISBN 9783540688921.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name 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
Authors
Edited by Marco Bernardo - Pierpaolo Degano - Gianluigi Zavattaro.
Edition Berlin, x, 523, 2008.
Publisher Springer
Other information
ISBN 9783540688921
Changed by The record has been imported from the library system. Changed: 1/4/2024 04:47.
PrintDisplayed: 16/5/2024 13:15