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.)

Resource Information

The instance 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.) represents a material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries. This resource is a combination of several types including: Instance, Electronic.

Image

http://images.btol.com/ContentCafe/Jacket.aspx?UserID=ebsco-test&Password=ebsco-test&Return=T&Value=9783540688945&Type=L

Label

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.)

Title remainder

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

Statement of responsibility

Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.)

Instantiates

• 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

Publication

• Berlin | New York, Springer, 2008

Bibliography note

Includes bibliographical references and index

Carrier category

online resource

Carrier category code

• cr

Carrier MARC source

rdacarrier

Color

multicolored

Content category

text

Content type code

• txt

Content type MARC source

rdacontent

Contents

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

Control code

272309909

Dimensions

unknown

Extent

1 online resource (x, 523 pages)

Form of item

online

Isbn

9783540688945

Lccn

2008927604

Media category

computer

Media MARC source

rdamedia

Media type code

• c

Other control number

10.1007/978-3-540-68894-5

Other physical details

illustrations.

http://library.link/vocab/ext/overdrive/overdriveId

978-3-540-68892-1

Record ID

.b12998520x

Specific material designation

remote

System control number

(OCoLC)272309909