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

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International School on Formal Methods for the Design of Computer, Communication, and Software Systems (BerichterstatterIn)
Weitere Verfasser:	Bernardo, Marco (HerausgeberIn), Degano, Pierpaolo (BerichterstatterIn), Zavattaro, Gianluigi (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2008
Schriftenreihe:	Lecture notes in computer science 5016 : Tutorial
Schlagworte:	Formal methods (Computer science) > Integrated circuits > Verification > Konferenzschrift > Bioinformatik > Systembiologie > Soft Computing
Online Zugang:	Inhaltsverzeichnis Cover Inhaltstext http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=5016
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!