Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers

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 Software Engineering and Formal Methods

More books from Springer International Publishing

bigCover of the book The Ebola Pandemic in Sierra Leone by

bigCover of the book Clinical Prediction Models by

bigCover of the book Device Physics, Modeling, Technology, and Analysis for Silicon MESFET by

bigCover of the book Numeric Computation and Statistical Data Analysis on the Java Platform by

bigCover of the book Progress in High-Dimensional Percolation and Random Graphs by

bigCover of the book Friction and Wear by

bigCover of the book Representation and Reality in Humans, Other Living Organisms and Intelligent Machines by

bigCover of the book Data Management and Analytics for Medicine and Healthcare by

bigCover of the book Intelligent Transportation Systems – Problems and Perspectives by

bigCover of the book Governing Metropolitan Transport by

bigCover of the book Mockumentary Comedy by

bigCover of the book Ancient Landscapes of Western North America by

bigCover of the book The Interstellar Medium, Expanding Nebulae and Triggered Star Formation by

bigCover of the book Protecting Human Rights Defenders in Latin America by

bigCover of the book Responsible Innovation 3 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