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 Functional Metamaterials and Metadevices by

bigCover of the book Radiation Disaster Medicine by

bigCover of the book Phosphodiesterases: CNS Functions and Diseases by

bigCover of the book From Bilateral Arbitral Tribunals and Investment Courts to a Multilateral Investment Court by

bigCover of the book Prevention of Injuries in the Young Dancer by

bigCover of the book Post-Soviet Migration and Diasporas by

bigCover of the book Epilepsy Case Studies by

bigCover of the book Applied Bioinformatics by

bigCover of the book European Civil Service in (Times of) Crisis by

bigCover of the book High Field Brain MRI by

bigCover of the book Parameterized and Exact Computation by

bigCover of the book Fundamentals of Biomechanics by

bigCover of the book Quantum Zero-Error Information Theory by

bigCover of the book The Digital Arts and Humanities 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