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 New Activities For Cultural Heritage by

bigCover of the book The Visual Neuroscience of Robotic Grasping by

bigCover of the book Regenerative Strategies for the Treatment of Knee Joint Disabilities by

bigCover of the book Advances in Manufacturing, Production Management and Process Control by

bigCover of the book Complications in Laparoscopic Surgery by

bigCover of the book Advances in Design for Inclusion by

bigCover of the book Corporate Sustainability, Social Responsibility and Environmental Management by

bigCover of the book TP-Model Transformation-Based-Control Design Frameworks by

bigCover of the book Financial Market Bubbles and Crashes, Second Edition by

bigCover of the book Migration, Risk Management and Climate Change: Evidence and Policy Responses by

bigCover of the book Computational Intelligence in Music, Sound, Art and Design by

bigCover of the book Bifurcation and Degradation of Geomaterials with Engineering Applications by

bigCover of the book Branching Random Walks by

bigCover of the book Pharmacotherapy in Aortic Disease by

bigCover of the book Animals and Science Education 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