Formal Methods in Macro-Biology [electronic resource] : First International Conference, FMMB 2014, Noum�ea, New Caledonia, September 22-24, 2014. Proceedings / edited by Fran�cois Fages, Carla Piazza.
Contributor(s): Fages, Fran�cois [editor.] | Piazza, Carla [editor.] | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 8738Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Description: XXVI, 183 p. 46 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319103983.Subject(s): Computer science | Health informatics | Computer logic | Mathematical logic | Bioinformatics | Computer Science | Computational Biology/Bioinformatics | Logics and Meanings of Programs | Health Informatics | Mathematical Logic and Formal LanguagesAdditional physical formats: Printed edition:: No titleDDC classification: 570.285 Online resources: Click here to access online
In:
Springer eBooksSummary: This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Noum�ea, New Caledonia, in September 2014. The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels.
No physical items for this record
This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Macro-Biology, FMMB 2014, held in Noum�ea, New Caledonia, in September 2014. The 7 revised full and 3 short papers presented together with 7 invited presentations were carefully reviewed and selected from 17 submissions. The scientific program consists of papers on a wide variety of topics, including ecological systems, medical applications, logical frameworks, and discrete continuous and hybrid models for the analysis of biological systems at macroscopic levels.
There are no comments for this item.