Formal Methods for Computational Systems Biology
Gianluigi Zavattaro, Marco Bernardo, Pierpaolo Degano, 2008More than 10 pieces in stock at supplier
Product details
The book "Formal Methods for Computational Systems Biology" offers a comprehensive collection of research papers presented at the eighth International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM). This series of schools aims to promote the application of formal methods in computer science to support a rigorous design of systems. The focus of SFM 2008 was on formal techniques for computational systems biology and addressed various aspects of the field, including computational models, calculi and logics for biological systems, as well as verification and simulation methods. The lectures and accompanying papers provide valuable insights for students and young researchers interested in the fundamentals and applications of formal methods.
Book cover | Paperback |
Author | Gianluigi Zavattaro, Marco Bernardo, Pierpaolo Degano |
topic | Technology & IT |
Year | 2008 |
Item number | 55500339 |
Publisher | Springer |
Category | Reference books |
Release date | 4.3.2025 |
topic | Technology & IT |
Author | Gianluigi Zavattaro, Marco Bernardo, Pierpaolo Degano |
Year | 2008 |
Book cover | Paperback |
Country of origin | Germany |
CO₂-Emission | |
Climate contribution |
Compare products
Goes with
Reviews & Ratings
Warranty score
How often does a product of this brand in the «Reference books» category have a defect within the first 24 months?
Source: Digitec Galaxus- 1.Redline0 %
- 1.S. Fischer Publishing0 %
- 1.Springer0 %
- 1.Stämpfli0 %
- 1.Ullstein0 %
Warranty case duration
How many working days on average does it take to process a warranty claim from when it arrives at the service centre until it’s back with the customer?
Source: Digitec Galaxus- SpringerNot enough data
- An der RuhrNot enough data
- AnacondaNot enough data
- AristonNot enough data
- Avery Publishing GroupNot enough data
Unfortunately, we don't have enough data for this category yet.
Return rate
How often is a product of this brand in the «Reference books» category returned?
Source: Digitec Galaxus- 71.Elsevier1.1 %
- 71.Finanzbuch1.1 %
- 71.Springer1.1 %
- 74.Eulogia1.2 %
- 74.First Éditions1.2 %