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 Cryptology Transmitted Message Protection by

bigCover of the book Lightweight Cryptography for Security and Privacy by

bigCover of the book Duncan Sandys and the Informal Politics of Britain’s Late Decolonisation by

bigCover of the book China: A Historical Geography of the Urban by

bigCover of the book Quantum Theory of Many-Body Systems by

bigCover of the book Bringing the Human Being Back to Work by

bigCover of the book Subjectivity and Selfhood in Medieval and Early Modern Philosophy by

bigCover of the book Violent Reverberations by

bigCover of the book Southeast Asia beyond Crises and Traps by

bigCover of the book Artificial Life and Evolutionary Computation by

bigCover of the book Recent Results on Time-Delay Systems by

bigCover of the book Nordic Consumer Culture by

bigCover of the book Current Advances in Fern Research by

bigCover of the book Novel Methods and Technologies for Enterprise Information Systems by

bigCover of the book Cell Biology of Herpes Viruses 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