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 Nanostructured Piezoelectric Energy Harvesters by

bigCover of the book Recurrence Plots and Their Quantifications: Expanding Horizons by

bigCover of the book Trends and Applications in Knowledge Discovery and Data Mining by

bigCover of the book Critical Infrastructures: Risk and Vulnerability Assessment in Transportation of Dangerous Goods by

bigCover of the book Unconventional Water Resources and Agriculture in Egypt by

bigCover of the book Classroom-Oriented Research by

bigCover of the book Geogames and Geoplay by

bigCover of the book Design, User Experience, and Usability: Technological Contexts by

bigCover of the book Quantitative Recombination and Transport Properties in Silicon from Dynamic Luminescence by

bigCover of the book Using Imperfect Semiconductor Systems for Unique Identification by

bigCover of the book Singular Configurations of Mechanisms and Manipulators by

bigCover of the book Economy, Finance and Business in Southeastern and Central Europe by

bigCover of the book Introduction to Mathematical Biology by

bigCover of the book Enhancing Participation in the Arts in the EU by

bigCover of the book Conflict Resolution and its Context 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