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 Environmental Biomedicine by

bigCover of the book Ethiopian Yearbook of International Law 2017 by

bigCover of the book Shale Gas: Ecology, Politics, Economy by

bigCover of the book Cloud Computing and Security by

bigCover of the book Biology and Biotechnology of Patagonian Microorganisms by

bigCover of the book Ferromagnetic Microwire Composites by

bigCover of the book Inflammasome Signaling and Bacterial Infections by

bigCover of the book Cultural Policy and Federalism by

bigCover of the book Love and Marriage Across Social Classes in American Cinema by

bigCover of the book Innovation Through Cooperation by

bigCover of the book Women, Food Exchange, and Governance in Early Modern England by

bigCover of the book Singularities of Robot Mechanisms by

bigCover of the book Happy City - How to Plan and Create the Best Livable Area for the People by

bigCover of the book The Impact of the Economic Crisis on South European Democracies by

bigCover of the book Working in Digital and Smart Organizations 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