Formal Methods: Foundations and Applications

19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Nonfiction, Computers, Programming, Software Development, General Computing
Big bigCover of Formal Methods: Foundations and Applications

More books from Springer International Publishing

bigCover of the book Successful Educational Actions for Inclusion and Social Cohesion in Europe by
bigCover of the book Dental Stem Cells: Regenerative Potential by
bigCover of the book Intelligent Building Control Systems by
bigCover of the book Performability in Internet of Things by
bigCover of the book Congenital Anomalies of the Penis by
bigCover of the book Materiality in Institutions by
bigCover of the book Advanced Techniques for Audio Watermarking by
bigCover of the book Neural Information Processing by
bigCover of the book Dynamic Data-Driven Environmental Systems Science by
bigCover of the book Development of Coherent Detector Technologies for Sub-Millimetre Wave Astronomy Observations by
bigCover of the book Adaptive Regression for Modeling Nonlinear Relationships by
bigCover of the book The 11th IFToMM International Symposium on Science of Mechanisms and Machines by
bigCover of the book Balancing Individualism and Collectivism by
bigCover of the book Internet of Things and Big Data Technologies for Next Generation Healthcare by
bigCover of the book Experimental Legislation in China between Efficiency and Legality by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy