Cover Image

Formal Methods in Macro-Biology First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings /

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Nouméa, New Caledonia, in September 2014. The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and sele...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Fages, François. (Editor, http://id.loc.gov/vocabulary/relators/edt), Piazza, Carla. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2014.
Edition:1st ed. 2014.
Series:Lecture Notes in Bioinformatics ; 8738
Subjects:
Bioinformatics.
Computer logic.
Health informatics.
Mathematical logic.
Computational Biology/Bioinformatics.
Logics and Meanings of Programs.
Health Informatics.
Mathematical Logic and Formal Languages.
Online Access:https://doi.org/10.1007/978-3-319-10398-3

Internet

https://doi.org/10.1007/978-3-319-10398-3

Similar Items