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 Electrochemistry of N4 Macrocyclic Metal Complexes by

bigCover of the book Basic Physics of Functionalized Graphite by

bigCover of the book Fault-Tolerant Digital Microfluidic Biochips by

bigCover of the book The Role of Microenvironment in the Control of Tumor Angiogenesis by

bigCover of the book The United Nations under Ban Ki-moon by

bigCover of the book The Politics of Trauma and Memory Activism by

bigCover of the book Stability Theory for Dynamic Equations on Time Scales by

bigCover of the book Financial Environment and Business Development by

bigCover of the book Optimal Trajectory Planning and Train Scheduling for Urban Rail Transit Systems by

bigCover of the book Scientific Computing by

bigCover of the book Applied Computational Intelligence and Mathematical Methods by

bigCover of the book Neglected Tropical Diseases - South Asia by

bigCover of the book Raising Capital or Improving Risk Management and Efficiency? by

bigCover of the book Medical Image Computing and Computer Assisted Intervention – MICCAI 2018 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