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 /

Na minha lista:
Detalhes bibliográficos
Principais autores: Bernardo, Marco, Degano, Pierpaolo, Zavattaro, Gianluigi, SpringerLink (Online service)
Formato: Digital
Publicado em:
Assuntos:
Bioinformática.
Redes de computadores.
Medição de software.
Engenharia de software.
Computação.
Endereço do item:http://dx.doi.org/10.1007/978-3-540-68894-5
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
id oai:localhost:123456789-211013
record_format dspace
spelling oai:localhost:123456789-2110132023-07-17T15:10:24Z 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 Degano, Pierpaolo Zavattaro, Gianluigi SpringerLink (Online service) Bioinformática. Redes de computadores. Medição de software. Engenharia de software. Computação. 0 2022-10-11T17:12:05Z 2022-10-11T17:12:05Z 2008. Digital 57:004 F723 9783540688945 196057 http://dx.doi.org/10.1007/978-3-540-68894-5 http://dx.doi.org/10.1007/978-3-540-68894-5
institution Acervo SISBI
collection SIGAA
topic Bioinformática.
Redes de computadores.
Medição de software.
Engenharia de software.
Computação.
spellingShingle Bioinformática.
Redes de computadores.
Medição de software.
Engenharia de software.
Computação.
Bernardo, Marco
Degano, Pierpaolo
Zavattaro, Gianluigi
SpringerLink (Online service)
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 /
description
format Digital
author Bernardo, Marco
Degano, Pierpaolo
Zavattaro, Gianluigi
SpringerLink (Online service)
author_facet Bernardo, Marco
Degano, Pierpaolo
Zavattaro, Gianluigi
SpringerLink (Online service)
author_sort Bernardo, Marco
title 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 /
title_short 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 /
title_full 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 /
title_fullStr 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 /
title_full_unstemmed 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 /
title_sort 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 /
publishDate 2022
url http://dx.doi.org/10.1007/978-3-540-68894-5
work_keys_str_mv AT bernardomarco formalmethodsforcomputationalsystemsbiology8thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2008bertinoroitalyjune272008advancedlectures
AT deganopierpaolo formalmethodsforcomputationalsystemsbiology8thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2008bertinoroitalyjune272008advancedlectures
AT zavattarogianluigi formalmethodsforcomputationalsystemsbiology8thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2008bertinoroitalyjune272008advancedlectures
AT springerlinkonlineservice formalmethodsforcomputationalsystemsbiology8thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2008bertinoroitalyjune272008advancedlectures
_version_ 1771688665001492480

Registros relacionados