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 String Analysis for Software Verification and Security by

bigCover of the book Public-Key Cryptography – PKC 2019 by

bigCover of the book The SAGES Manual of Robotic Surgery by

bigCover of the book Direct and Large-Eddy Simulation XI by

bigCover of the book Material Selections by a Hybrid Multi-Criteria Approach by

bigCover of the book New Trends in Parameter Identification for Mathematical Models by

bigCover of the book Energy Minimization Methods in Computer Vision and Pattern Recognition by

bigCover of the book The Rise and Fall of Emerging Powers by

bigCover of the book Excel 2010 for Environmental Sciences Statistics by

bigCover of the book The Economics of Brexit by

bigCover of the book Education, Sustainability and the Ecological Social Imaginary by

bigCover of the book The Conditions for School Success by

bigCover of the book Operative Techniques in Single Incision Laparoscopic Colorectal Surgery by

bigCover of the book Boundary and Interior Layers, Computational and Asymptotic Methods BAIL 2016 by

bigCover of the book Sand and Gravel Spits 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