01653nam2-2200421---450-99000314398020331620080929091914.0978-3-540-68892-1000314398USA01000314398(ALEPH)000314398USA0100031439820080915d2008----km-y0itay50------baengDEy---||||001yyFormal methods for computational systems biology8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008Bertinoro, Italy, June 2-7, 2008advanced lecturesBerlin [etc.]Springercopyr. 2008X, 523 p.24 cmLecture notes in computer scienceTutorial50162001Lecture notes in computer science0010003149602001Lecture notes in computer scienceSimulazione <informatica>CongressiBertinoro2008Sistemi biologiciCongressiBertinoro2008003.3BERNARDO,MarcoDEGANO,PierpaoloZAVATTARO,GianluigiInternational School on formal methods for the design of computer, communication, and software systems, SFM 2008<8.;2008;Bertinoro>602083ITsalbcISBD990003143980203316001 LNCS 501637093/CBS00100217458BKSCICBAS1020080915USA010947CBAS1020080929USA010919Formal methods for computational systems biology1016310UNISA