01618nmm a22004095u 4500
0
0
lcc
0
0
DIGITAL
DIGITAL
COLDIG
2020-12-14
QA76.9.F67 B47637 2008
BDIG00012317
2020-12-14 00:00:00
1
http://dx.doi.org/10.1007/978-3-540-68894-5
1.00
2020-12-14
LIE
Springer Link
1a ed.
CNE
13807
13807
20201214140658.0
100301s2008 xx j eng d
9783540688945
QA76.9.F67
B47637 2008
Bernardo, Marco.
Formal Methods for Computational Systems Biology
[electronic resource] :
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 Berlin Heidelberg,
2008.
v.: digital
Lecture Notes in Computer Science,
5016
0302-9743 ;
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
Degano, Pierpaolo.
Zavattaro, Gianluigi.
SpringerLink (Online service)
Springer eBooks
http://dx.doi.org/10.1007/978-3-540-68894-5
lcc
LIE