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 / / Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

• Pubblicazione: Berlin ; ; New York, : Springer, 2008
• Edizione: 1st ed. 2008.
• Descrizione fisica: 1 online resource (X, 527 p.)
• Disciplina: 005.1
• Soggetto topico: Formal methods (Computer science); Integrated circuits - Verification
• Altri autori: BernardoMarco DeganoPierpaolo <1950-> ZavattaroGianluigi
• Note generali: Lectures.
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Regular Lectures -- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions -- Pathway Logic -- Formal Cell Biology in Biocham -- Hierarchical Modeling for Computational Biology -- Simulation Methods in Systems Biology -- Membrane Computing as a Modeling Framework. Cellular Systems Case Studies -- Petri Nets for Systems and Synthetic Biology -- Process Algebras in Systems Biology -- The BlenX Language: A Tutorial -- BISCA Talks -- Cells in Silico: A Holistic Approach -- The Calculus of Looping Sequences -- Hybrid Systems and Biology -- ?@: A ?-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi -- A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form.
• Altri titoli varianti: SFM 2008
• Titolo autorizzato: Formal methods for computational systems biology
• ISBN: 3-540-68894-3
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910483251403321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science. . -Tutorial.; Lecture notes in computer science ; ; 5016.; LNCS sublibrary. : SL 2, . -Programming and software engineering.