did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9783540688921

Formal Methods for Computational Systems Biology

by ; ;
  • ISBN13:

    9783540688921

  • ISBN10:

    3540688927

  • Format: Paperback
  • Copyright: 2008-06-27
  • Publisher: Springer-Verlag New York Inc

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Purchase Benefits

  • Free Shipping Icon Free Shipping On Orders Over $35!
    Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
  • eCampus.com Logo Get Rewarded for Ordering Your Textbooks! Enroll Now
List Price: $84.99 Save up to $21.25
  • Buy Used
    $63.74
    Add to Cart Free Shipping Icon Free Shipping

    USUALLY SHIPS IN 2-4 BUSINESS DAYS

Supplemental Materials

What is included with this book?

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.

Table of Contents

Regular Lectures
Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactionsp. 1
Pathway Logicp. 21
Formal Cell Biology in Biochamp. 54
Hierarchical Modeling for Computational Biologyp. 81
Simulation Methods in Systems Biologyp. 125
Membrane Computing as a Modeling Framework. Cellular Systems Case Studiesp. 168
Petri Nets for Systems and Synthetic Biologyp. 215
Process Algebras in Systems Biologyp. 265
The BlenX Language: A Tutorialp. 313
BISCA Talks
Cells in Silico: A Holistic Approachp. 366
The Calculus of Looping Sequencesp. 387
Hybrid Systems and Biology: Continuous and Discrete Modeling for Systems Biologyp. 424
[pi]@: A [pi]-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculip. 449
A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Formp. 507
Author Indexp. 525
Table of Contents provided by Ingram. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program