Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8738)
Part of the book sub series: Lecture Notes in Bioinformatics (LNBI)
Included in the following conference series:
Conference proceedings info: FMMB 2014.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (15 papers)
-
Invited Presentations
-
Regular Papers
Other volumes
-
Formal Methods in Macro-Biology
Keywords
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods in Macro-Biology
Book Subtitle: First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-14, 2014, Proceedings
Editors: François Fages, Carla Piazza
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-10398-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Softcover ISBN: 978-3-319-10397-6Published: 19 August 2014
eBook ISBN: 978-3-319-10398-3Published: 14 August 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXVI, 183
Number of Illustrations: 46 b/w illustrations
Topics: Computational Biology/Bioinformatics, Logics and Meanings of Programs, Health Informatics, Mathematical Logic and Formal Languages