Formal methods for computational systems biology
Subtitle: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 : advanced lectures
By: Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.).
Contributors: Bernardo, Marco.; Degano, Pierpaolo, 1950-; Zavattaro, Gianluigi.
Series: Lecture notes in computer science -- 5016; LNCS sublibrary; Tutorial; Lecture notes in computer science
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 523
ISBN-13: 9783540688921
Subjects: Formal methods (Computer science) -- Congresses; Integrated circuits -- Verification -- Congresses
Genres: Congresses.
Other titles: SFM 2008
Notes: Lectures.

Includes bibliographical references and index.

Also issued online.