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 Citric Acid by
bigCover of the book Low Earth Orbit Satellite Design by
bigCover of the book Weird Universe by
bigCover of the book Accelerated Economic Growth in West Africa by
bigCover of the book Campaign Professionalism during Egypt’s 2012 Presidential Election by
bigCover of the book PID Controller Tuning Using the Magnitude Optimum Criterion by
bigCover of the book Academic Skepticism in Seventeenth-Century French Philosophy by
bigCover of the book Permeability of Biological Membranes by
bigCover of the book 13th International Conference on Theory and Application of Fuzzy Systems and Soft Computing — ICAFS-2018 by
bigCover of the book Language Planning in the Post-Communist Era by
bigCover of the book Toward Brain-Computer Interaction in Paralysis by
bigCover of the book Political Power in Spain by
bigCover of the book Management of Cyber Physical Objects in the Future Internet of Things by
bigCover of the book Foundations of Computer Vision by
bigCover of the book The Greek Cypriot Nationalist Right in the Era of British Colonialism 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