Normal view
MARC view
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.
Material type:
Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008ISBN: 9783540688945Subject(s): Bioinformatics | Computer Communication Networks | Computer Science | Logic design | Software engineering | Computer Science | Computational Biology/Bioinformatics | Computer Communication Networks | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Software Engineering | Special Purpose and Application-Based SystemsOnline resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments on this title.