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 Concepts and Trends in Healthcare Information Systems by

bigCover of the book Geology, Chemistry and Genesis of Thermal Springs of Odisha, India by

bigCover of the book Robotics in Education by

bigCover of the book Lateral Access Minimally Invasive Spine Surgery by

bigCover of the book Form Versus Function: Theory and Models for Neuronal Substrates by

bigCover of the book Agents and Artificial Intelligence by

bigCover of the book Sustainable Futures for Higher Education by

bigCover of the book Microwave-assisted Polymer Synthesis by

bigCover of the book Advances in Internetworking, Data & Web Technologies by

bigCover of the book Enacting Values-Based Change by

bigCover of the book Robotics Research by

bigCover of the book Operative Dictations in Plastic and Reconstructive Surgery by

bigCover of the book Atlas of Head and Neck Endocrine Disorders by

bigCover of the book Social Media Marketing in Tourism and Hospitality by

bigCover of the book ROI in Public Health Policy 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