Formal Methods in Macro-Biology
Download or Read eBook Formal Methods in Macro-Biology PDF written by François Fages and published by Springer. This book was released on 2014-08-14 with total page 204 pages. Available in PDF, EPUB and Kindle.
| Author | : François Fages |
| Publisher | : Springer |
| Total Pages | : 204 |
| Release | : 2014-08-14 |
| ISBN-10 | : 9783319103983 |
| ISBN-13 | : 3319103989 |
| Rating | : 4/5 (83 Downloads) |
Book Synopsis Formal Methods in Macro-Biology by : François Fages
Book excerpt: 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 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.
