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 Decision and Game Theory for Security by

bigCover of the book Art and Politics under Modern Dictatorships by

bigCover of the book Human-Robot Interaction Strategies for Walker-Assisted Locomotion by

bigCover of the book The Nature of Peace and the Morality of Armed Conflict by

bigCover of the book New Advances in Mechanism and Machine Science by

bigCover of the book Big Data, Cloud Computing, Data Science & Engineering by

bigCover of the book Urban Environmental Governance in India by

bigCover of the book Performing Character in Modern Irish Drama by

bigCover of the book Systems Thinking for School Leaders by

bigCover of the book The Geometric Hopf Invariant and Surgery Theory by

bigCover of the book Finite Element Analysis on Badminton Racket Design Parameters by

bigCover of the book Metrical and Dynamical Aspects in Complex Analysis by

bigCover of the book ICT in Education by

bigCover of the book Stochastic Multi-Stage Optimization by

bigCover of the book Advances in Numerical Simulation in Physics and Engineering 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