Name: formal methods for computational systems biology
SKU: 3426365
Price: 1865.00 TWD
Availability: InStock
ISBN: 9783540688921

Select your country

Americas

Europe

Rest of the world

portada formal methods for computational systems biology

formal methods for computational systems biology

Type

Physical Book

Publisher

Springer

Language

English

Pages

525

ISBN

3540688927

ISBN13

9783540688921

Synopsis "formal methods for computational systems biology"

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews