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 Biological Determinism, Free Will and Moral Responsibility by

bigCover of the book Controls and Art by

bigCover of the book Sociality in Bats by

bigCover of the book Digital Transformation and Global Society by

bigCover of the book Distributed Computing and Internet Technology by

bigCover of the book Complications of Anorectal Surgery by

bigCover of the book Advances in Safety Management and Human Factors by

bigCover of the book The German Revolution and Political Theory by

bigCover of the book Nanoscale Materials and Devices for Electronics, Photonics and Solar Energy by

bigCover of the book Text, Speech, and Dialogue by

bigCover of the book Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support by

bigCover of the book Signal Interference in WiFi and ZigBee Networks by

bigCover of the book Plato and Intellectual Development by

bigCover of the book International Conference on Security and Privacy in Communication Networks 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