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 sel...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Fages, François (Editor ), Piazza, Carla (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
Edición: | 1st ed. 2014. |
Colección: | Lecture Notes in Bioinformatics,
8738 |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Information Technology in Bio- and Medical Informatics 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings /
Publicado: (2016) -
Information Technology in Bio- and Medical Informatics 6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015, Proceedings /
Publicado: (2015) -
Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
Publicado: (2014) -
Descriptional Complexity of Formal Systems 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012, Proceedings /
Publicado: (2012) -
Using Event-B for Critical Device Software Systems
por: Singh, Neeraj Kumar
Publicado: (2013)