Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

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

More books from Springer International Publishing

bigCover of the book Morality in Cormac McCarthy's Fiction by
bigCover of the book Cross-Cultural Dialogue as a Conflict Management Strategy by
bigCover of the book Stroke Genetics by
bigCover of the book Collaborative Mathematics and Statistics Research by
bigCover of the book Cognitive Technologies by
bigCover of the book Grammatical Inference by
bigCover of the book Lasers in Materials Science by
bigCover of the book Essentials of Pericyclic and Photochemical Reactions by
bigCover of the book Absolute Neurocritical Care Review by
bigCover of the book The Common Bean Genome by
bigCover of the book Continuous and Distributed Systems by
bigCover of the book Neuroprotective Therapy for Stroke and Ischemic Disease by
bigCover of the book Emerging Urban Spaces by
bigCover of the book Geological Records of the Fuegian Andes Deformed Complex Framed in a Patagonian Orogenic Belt Regional Context by
bigCover of the book Atlas of PET-CT Imaging in Oncology 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