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 Brain-Computer Interfaces by

bigCover of the book Logical Foundations of Computer Science by

bigCover of the book Rare Genitourinary Tumors by

bigCover of the book Proceedings of 4th International Conference in Software Engineering for Defence Applications by

bigCover of the book Driving and Engine Cycles by

bigCover of the book State, Nationalism, and Islamization by

bigCover of the book Novel Sensors for Food Inspection: Modelling, Fabrication and Experimentation by

bigCover of the book Transmission Electron Microscopy by

bigCover of the book Advances in Enterprise Engineering XII by

bigCover of the book Advances in Human Factors in Sports, Injury Prevention and Outdoor Recreation by

bigCover of the book Cyberbullying Across the Globe by

bigCover of the book Biology of Orthodontic Tooth Movement by

bigCover of the book Drug Discovery from Mother Nature 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