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 Neuroeconomic and Behavioral Aspects of Decision Making by

bigCover of the book Adolescent Girls' Migration in The Global South by

bigCover of the book Analytical Chemistry Applied to Emerging Pollutants by

bigCover of the book Approximation of Stochastic Invariant Manifolds by

bigCover of the book Global Sustainability, Cultural Perspectives and Challenges for Transdisciplinary Integrated Research by

bigCover of the book Linear and Non-linear Mechanical Behavior of Solid Materials by

bigCover of the book Introduction to Time Series and Forecasting by

bigCover of the book Productivity and Efficiency Analysis by

bigCover of the book Intelligent Computing by

bigCover of the book Complexity and Geographical Economics by

bigCover of the book Medical and Mental Health During Childhood by

bigCover of the book Eco-Socialism For Now and the Future by

bigCover of the book Women Activists and Civil Rights Leaders in Auto/Biographical Literature and Films by

bigCover of the book Cloud Data Management by

bigCover of the book Web Technologies and Applications 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