"Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, " - читать интересную книгу автора (Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro)