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

フォーマット:

電子ブック

責任表示:

edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro

言語:

英語

出版情報:

Berlin, Heidelberg : Springer-Verlag, 2008

形態:

v.: digital

著者名:

• Bernardo, Marco
• Degano, Pierpaolo
• Zavattaro, Gianluigi
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 5016

書誌ID:

NB02219212

ISBN:

9783540688945 [3540688943]      

学内からのみアクセスすることができます。