The Resource 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.)
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 item 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 specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item 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 specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro, Italy in June 2008. SFM 2008 was devoted to formal techniques for computational systems biology and covered several aspects of the field, including computational models, calculi and logics for biological systems, and verification and simulation methods. The first part of this volume comprises nine papers based on regular lectures, the second part of this volume comprises five papers based on talks given by people involved in the Italian BISCA research project on Bio-Inspired Systems and Calculi with Applications
- Language
- eng
- Extent
- 1 online resource (x, 523 pages)
- 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
- Isbn
- 9783540688945
- 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
- Title
- Formal methods for computational systems biology
- 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.)
- Title variation
- SFM 2008
- Subject
-
- Conference papers and proceedings
- Formal methods (Computer science)
- Formal methods (Computer science)
- Formal methods (Computer science)
- Formal methods (Computer science) -- Congresses
- Informatique
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification -- Congresses
- Conference papers and proceedings
- Language
- eng
- Summary
- This book presents a set of 14 papers accompanying the lectures of leading researchers given at the 8th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2008, held in Bertinoro, Italy in June 2008. SFM 2008 was devoted to formal techniques for computational systems biology and covered several aspects of the field, including computational models, calculi and logics for biological systems, and verification and simulation methods. The first part of this volume comprises nine papers based on regular lectures, the second part of this volume comprises five papers based on talks given by people involved in the Italian BISCA research project on Bio-Inspired Systems and Calculi with Applications
- Cataloging source
- GW5XE
- Dewey number
- 004
- Illustrations
- illustrations
- Index
- index present
- LC call number
- QA76.9.F67
- LC item number
- I586 2008eb
- Literary form
- non fiction
- http://bibfra.me/vocab/lite/meetingDate
- 2008
- http://bibfra.me/vocab/lite/meetingName
- International School on Formal Methods for the Design of Computer, Communication, and Software Systems
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorDate
- 1950-
- http://library.link/vocab/relatedWorkOrContributorName
-
- Bernardo, Marco
- Degano, Pierpaolo
- Zavattaro, Gianluigi
- Series statement
-
- Lecture notes in computer science,
- LNCS sublibrary. SL 2, Programming and software engineering
- Tutorial
- Series volume
- 5016
- http://library.link/vocab/subjectName
-
- Formal methods (Computer science)
- Integrated circuits
- Formal methods (Computer science)
- Integrated circuits
- Informatique
- Formal methods (Computer science)
- Integrated circuits
- 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.)
- 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
- Specific material designation
- remote
- System control number
- (OCoLC)272309909
- 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.)
- 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
- Specific material designation
- remote
- System control number
- (OCoLC)272309909
Subject
- Conference papers and proceedings
- Formal methods (Computer science)
- Formal methods (Computer science)
- Formal methods (Computer science)
- Formal methods (Computer science) -- Congresses
- Informatique
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification
- Integrated circuits -- Verification -- Congresses
- Conference papers and proceedings
Genre
Member of
- Lecture notes in computer science, 5016
- LNCS sublibrary, SL 2, Programming and software engineering
- Lecture notes in computer science, Tutorial
- Lecture notes in computer science, 5016.
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Formal-methods-for-computational-systems-biology/E8i8rlfwHgs/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Formal-methods-for-computational-systems-biology/E8i8rlfwHgs/">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.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item 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.)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Formal-methods-for-computational-systems-biology/E8i8rlfwHgs/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Formal-methods-for-computational-systems-biology/E8i8rlfwHgs/">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.)</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>