Formal Methods for Multicore Programming

15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Nonfiction, 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

Big bigCover of Formal Methods for Multicore Programming

More books from Springer International Publishing

bigCover of the book Building Trust in Information by

bigCover of the book E-Democracy – Privacy-Preserving, Secure, Intelligent E-Government Services by

bigCover of the book Formal Concept Analysis of Social Networks by

bigCover of the book Polymer Surfaces in Motion by

bigCover of the book Networked Systems by

bigCover of the book Absolute Hospital Medicine Review by

bigCover of the book A Brain-Focused Foundation for Economic Science by

bigCover of the book The United Nations and the Politics of Selective Humanitarian Intervention by

bigCover of the book Innovations and Advances in Computing, Informatics, Systems Sciences, Networking and Engineering by

bigCover of the book Chronos in Aristotle’s Physics by

bigCover of the book Design, User Experience, and Usability: Users, Contexts and Case Studies by

bigCover of the book Computing Platforms for Software-Defined Radio by

bigCover of the book Time-Dependent CP Violation Measurements by

bigCover of the book Organ Transplantation in Times of Donor Shortage by

bigCover of the book Child and Adolescent Resilience Within Medical Contexts 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