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 Congruences of a Finite Lattice by

bigCover of the book Credit Risk Management for Derivatives by

bigCover of the book AI 2016: Advances in Artificial Intelligence by

bigCover of the book Markets and Policy Measures in the Evolution of Electric Mobility by

bigCover of the book A Project-Based Introduction to Computational Statics by

bigCover of the book Boomerang Kids: The Demography of Previously Launched Adults by

bigCover of the book Provenance and Annotation of Data and Processes by

bigCover of the book Stabilization, Safety, and Security of Distributed Systems by

bigCover of the book On the Geometry of Some Special Projective Varieties by

bigCover of the book Allergy and Asthma by

bigCover of the book Disruptive Healthcare Provider Behavior by

bigCover of the book Arterial Chemoreceptors in Physiology and Pathophysiology by

bigCover of the book Ultra Low Power ECG Processing System for IoT Devices 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