01781nlm0 22004691i 450 9900092534404033219783540688945000925344FED01000925344(Aleph)000925344FED0100092534420100926d2008----km-y0itay50------baengDEdrnn-008mamaaFormal Methods for Computational Systems BiologyRisorsa elettronica8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lecturesedited by Marco Bernardo, Pierpaolo Degano, Gianluigi ZavattaroBerlin ; HeidelbergSpringer2008Lecture Notes in Computer Science0302-97435016Documento elettronicoTestoFormato html, pdfBernardo,MarcoDegano,PierpaoloZavattaro,GianluigiITUNINAREICATUNIMARCFull text per gli utenti Federico IIhttp://dx.doi.org/10.1007/978-3-540-68894-5EB990009253440403321BioinformaticsComputational Biology/BioinformaticsComputer Communication NetworksComputer Communication NetworksComputer scienceComputer ScienceLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersSoftware engineeringSoftware EngineeringSpecial Purpose and Application-Based SystemsFormal Methods for Computational Systems Biology774333UNINA