.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Methods for Computational Systems Biology
. Ed(S): Bernardo, Marco; Degano, Pierpaolo; Zavattaro, Gianluigi
€ 69.39
FREE Delivery in Ireland
Description for Formal Methods for Computational Systems Biology
Paperback. Editor(s): Bernardo, Marco; Degano, Pierpaolo; Zavattaro, Gianluigi. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 537 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 27. Weight in Grams: 819.
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 - ology and covered several aspects of the ?eld, including computational models, calculi and logics ... Read more
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 - ology and covered several aspects of the ?eld, including computational models, calculi and logics ... Read more
Product Details
Format
Paperback
Publication date
2008
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
537
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
527
Place of Publication
Berlin, Germany
ISBN
9783540688921
SKU
V9783540688921
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Methods for Computational Systems Biology