Formal Methods: Foundations and Applications

18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, 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 E-Participation in Smart Cities: Technologies and Models of Governance for Citizen Engagement by
bigCover of the book ZEMCH: Toward the Delivery of Zero Energy Mass Custom Homes by
bigCover of the book Biomass Processing over Gold Catalysts by
bigCover of the book Securing Water and Wastewater Systems by
bigCover of the book Engineering Computational Emotion - A Reference Model for Emotion in Artificial Systems by
bigCover of the book Marcel Duchamp’s Fountain by
bigCover of the book On-Call Geriatric Psychiatry by
bigCover of the book Multiple Criteria Decision Making by
bigCover of the book Global Population in Transition by
bigCover of the book Ethical and Legal Perspectives in Fetal Alcohol Spectrum Disorders (FASD) by
bigCover of the book Cyberemotions by
bigCover of the book New Trends in Mechanism and Machine Science by
bigCover of the book Advances in Information and Communication by
bigCover of the book The FDA for Doctors by
bigCover of the book Science Fiction and the Moral Imagination 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