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 : advanced lectures /  [electronic resource] : 
 SFM 2008 
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro (eds.). 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2008. 
 - x, 523 p. :  ill., digital ;  24 cm. 
 - Lecture notes in computer science,  5016  0302-9743 ; LNCS sublibrary.  SL 2,  Programming and software engineering .
 - Tutorial .
 - Lecture notes in computer science.  Tutorial. .
<br/><br/> Lectures. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/>
<br/><br/><label>ISBN: </label>9783540688945 (electronic bk.) 9783540688921 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Formal methods (Computer science)--Congresses.<br/>Integrated circuits--Verification--Congresses.
<br/><br/><label>Dewey Class. No.: </label>004.33