Formal Methods in Macro-Biology

Carla Piazza

ISBN 10: 3319103970 / ISBN 13: 9783319103976

Published by Springer International Publishing Aug 2014, 2014

About this Item

This item is printed on demand - it takes 3-4 days longer - Neuware -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. 208 pp. Englisch.

Seller Inventory # 9783319103976

Bibliographic Details

• Title: Formal Methods in Macro-Biology
• Publisher: Springer International Publishing Aug 2014
• Publication Date: 2014
• Language: English
• ISBN 10: 3319103970
• ISBN 13: 9783319103976
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 12D millimeters 235 millimeters width by 155 millimeters height by 12 millimeters depth
• Weight: 324 grams

About this title

Synopsis

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.