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 Controllability and Minimum Energy Control by

bigCover of the book Advances in Knowledge Discovery and Management by

bigCover of the book Trends and Challenges in Digital Business Innovation by

bigCover of the book Building a Passive House by

bigCover of the book Versatile Cybersecurity by

bigCover of the book Psychology of Wounds and Wound Care in Clinical Practice by

bigCover of the book Knowledge Science, Engineering and Management by

bigCover of the book Design for Experience by

bigCover of the book Submodularity in Dynamics and Control of Networked Systems by

bigCover of the book The Media, the Public and the Great Financial Crisis by

bigCover of the book Geological Evolution of the Precambrian Indian Shield by

bigCover of the book At the Origins of Modernity by

bigCover of the book Transboundary Hydro-Governance by

bigCover of the book Convective Heat Transfer From Rotating Disks Subjected To Streams Of Air by

bigCover of the book Large Deviations for Random Graphs 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