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 Discovery Science by

bigCover of the book Political Leaders and Changing Local Democracy by

bigCover of the book Product Information Management by

bigCover of the book Fuzzy Logic of Quasi-Truth: An Algebraic Treatment by

bigCover of the book Identity, Meaning, and Subjectivity in Career Development by

bigCover of the book Boxing, the Gym, and Men by

bigCover of the book Electronic Properties of Graphene Heterostructures with Hexagonal Crystals by

bigCover of the book Mobile, Ubiquitous, and Pervasive Learning by

bigCover of the book Islamic Finance and Africa's Economic Resurgence by

bigCover of the book Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering by

bigCover of the book Ticks of Europe and North Africa by

bigCover of the book Machine Learning and Knowledge Discovery in Databases by

bigCover of the book The Casting Powders Book by

bigCover of the book Trump’s Media War by

bigCover of the book The Teachings of Management 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