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
Bernardo, Marco.
creator
Degano, Pierpaolo.
Zavattaro, Gianluigi.
SpringerLink (Online service)
software, multimedia
xx
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2008
monographic
eng
v.: digital
edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro.
Computer science
Computer Communication Networks
Software engineering
Logic design
Bioinformatics
Computer Science
Software Engineering
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Special Purpose and Application-Based Systems
Computer Communication Networks
Computational Biology/Bioinformatics
QA76.9.F67 B47637 2008
Lecture Notes in Computer Science, 5016
Springer eBooks
9783540688945
http://dx.doi.org/10.1007/978-3-540-68894-5
http://dx.doi.org/10.1007/978-3-540-68894-5
100301
20201214140658.0