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 Embracing 'Asia' in China and Japan by

bigCover of the book Rheology and Non-Newtonian Fluids by

bigCover of the book Clinical Management of the Rheumatoid Hand, Wrist, and Elbow by

bigCover of the book Indicators of Quality of Life in Latin America by

bigCover of the book L’Hôpital's Analyse des infiniments petits by

bigCover of the book Chaos: Concepts, Control and Constructive Use by

bigCover of the book Behind a Veil of Ignorance? by

bigCover of the book Competition and Investment in Air Transport by

bigCover of the book Responsible Business in Uncertain Times and for a Sustainable Future by

bigCover of the book Food Safety, Market Organization, Trade and Development by

bigCover of the book From the Realm of the Nebulae to Populations of Galaxies by

bigCover of the book Descartes’ Treatise on Man and its Reception by

bigCover of the book Devotional Fitness by

bigCover of the book The Intercorrelation of Traumatic Brain Injury and PTSD in Neuropsychological Evaluations by

bigCover of the book Memory, Identity and Cognition: Explorations in Culture and Communication 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