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 Excel 2016 for Advertising Statistics by

bigCover of the book Human Geographies Within the Pale of Settlement by

bigCover of the book Privacy and Identity Management for the Future Internet in the Age of Globalisation by

bigCover of the book ROBOT 2017: Third Iberian Robotics Conference by

bigCover of the book Computer Vision – ACCV 2016 by

bigCover of the book China in the Xi Jinping Era by

bigCover of the book Numerical Modelling of Astrophysical Turbulence by

bigCover of the book Computers Helping People with Special Needs by

bigCover of the book A Second-Order ΣΔ ADC Using Sputtered IGZO TFTs by

bigCover of the book Genetic Programming Theory and Practice XV by

bigCover of the book The Bright Side and the Dark Side of Patient Empowerment by

bigCover of the book Partial Differential Equations by

bigCover of the book Advanced Methods and Technologies in Metallurgy in Russia by

bigCover of the book Nonequilibrium Dynamics of Collective Excitations in Quantum Materials by

bigCover of the book Organized Crime and Illicit Trade 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