Formal Methods for Computational Systems Biology
Bernardo, Marco.
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] : edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 5016 0302-9743 ; .
9783540688945
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
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] : edited by Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - v.: digital - Lecture Notes in Computer Science, 5016 0302-9743 ; .
9783540688945
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