FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Nonfiction, Science & Nature, Mathematics, Logic, Computers, Programming, Software Development, General Computing

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

More books from Springer International Publishing

bigCover of the book Unifying Theories of Programming by

bigCover of the book Reviews of Physiology, Biochemistry and Pharmacology 166 by

bigCover of the book Multimedia and Network Information Systems by

bigCover of the book The Lysenko Controversy as a Global Phenomenon, Volume 2 by

bigCover of the book Endothelial Progenitor Cells by

bigCover of the book Judicial Sales of Ships by

bigCover of the book Atomic Force Microscopy by

bigCover of the book Mathematical Control Theory I by

bigCover of the book Evolutionary Multi-Criterion Optimization by

bigCover of the book Computer Vision – ACCV 2016 Workshops by

bigCover of the book German-Sino Business Networks by

bigCover of the book Three Worlds of Collective Human Experience: Individual Life, Social Change, and Human Evolution by

bigCover of the book Narrating Citizenship and Belonging in Anglophone Canadian Literature by

bigCover of the book Violent Trauma, Culture, and Power 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