Produktbild
Marco (Hrsg.) Bernardo

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

Buch

This volume presents the set of papers accompanying the lectures of the eighth International School on Formal Methods for the Design of Computer, Com- nication, and Software Systems (SFM). Thisseriesofschoolsaddressestheuseofformalmethodsincomputerscience asaprominentapproachtotherigorousdesignofcomputer,communication,and software systems. The main aim of the SFM series is to o?er a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the ?eld. SFM 2008 was devoted to formal techniques for computational systems - olog… Mehr

CHF 114.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Degano, Pierpaolo (Hrsg.) / Zavattaro, Gianluigi (Hrsg.)
  • ISBN: 978-3-540-68892-1
  • EAN: 9783540688921
  • Produktnummer: 3807412
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2008
  • Seitenangabe: 525 S.
  • Masse: H23.5 cm x B15.5 cm x D2.8 cm 809 g
  • Reihenbandnummer: 5016
  • Gewicht: 809

26 weitere Werke von Marco (Hrsg.) Bernardo:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.