Software Engineering and Formal Methods

SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Nonfiction, Computers, Computer Hardware, Input-Output Equipment, General Computing, Programming

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Big bigCover of Software Engineering and Formal Methods

More books from Springer International Publishing

bigCover of the book Healthcare Information Management Systems by

bigCover of the book Automotive Systems Engineering II by

bigCover of the book Computer Vision in Sports by

bigCover of the book Schools as Protection? by

bigCover of the book Aspects of WIMP Dark Matter Searches at Colliders and Other Probes by

bigCover of the book Device-to-Device Communications in Cellular Networks by

bigCover of the book Surgical Tools and Medical Devices by

bigCover of the book Supervisory Control of Discrete-Event Systems by

bigCover of the book Sustainable Design and Manufacturing 2017 by

bigCover of the book Product-Focused Software Process Improvement by

bigCover of the book State Estimation and Control for Low-cost Unmanned Aerial Vehicles by

bigCover of the book Neuroimaging of Traumatic Brain Injury by

bigCover of the book Diversity, Affect and Embodiment in Organizing by

bigCover of the book Bridging Complexity and Post-Structuralism by

bigCover of the book Managing Media and Digital 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