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
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 Podcasting 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
bigCover of the book Brand Hate 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