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 Large-scale Production of Paper-based Li-ion Cells by

bigCover of the book Being Really Virtual by

bigCover of the book Integration and International Dispute Resolution in Small States by

bigCover of the book Craniofacial and Dental Developmental Defects by

bigCover of the book Dynamic Secularization by

bigCover of the book Computer Security – ESORICS 2016 by

bigCover of the book Managing Data From Knowledge Bases: Querying and Extraction by

bigCover of the book Recent Advances in Technology Research and Education by

bigCover of the book History as a Science and the System of the Sciences by

bigCover of the book Outlaw Motorcycle Gangs as Organized Crime Groups by

bigCover of the book Fractal Geometry and Stochastics V by

bigCover of the book Europe and the End of the Age of Innocence by

bigCover of the book Physical Chemistry from a Different Angle 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