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 Materials for Sustainable Infrastructure by

bigCover of the book The Economic Impact of International Monetary Fund Programmes by

bigCover of the book The World of Open Data by

bigCover of the book Imagined Futures by

bigCover of the book Sustainable Air Pollution Management by

bigCover of the book Modern Thoraco-Lumbar Implants for Spinal Fusion by

bigCover of the book Conflict Resolution and its Context by

bigCover of the book Analytic Number Theory by

bigCover of the book Green Crime in Mexico by

bigCover of the book A Brief History of Cryptology and Cryptographic Algorithms by

bigCover of the book New Perspectives on Food Blanching by

bigCover of the book The Economic Lifecycle, Gender and Intergenerational Support by

bigCover of the book Heat Shock Protein Inhibitors by

bigCover of the book The Beginning and the End 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