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 Economic and Social Development of Bangladesh by

bigCover of the book Advances in Consulting Research by

bigCover of the book Green Adsorbents for Pollutant Removal by

bigCover of the book Complex, Intelligent, and Software Intensive Systems by

bigCover of the book Carbon Dioxide and Organometallics by

bigCover of the book Poised for Excellence by

bigCover of the book Human Language Technology. Challenges for Computer Science and Linguistics by

bigCover of the book Bioactive Compounds from Marine Extremophiles by

bigCover of the book Algorithms for Computational Biology by

bigCover of the book New Approaches in History and Theology to Same-Sex Love and Desire by

bigCover of the book Social Knowledge Management in Action by

bigCover of the book Advances in Natural Fibre Composites by

bigCover of the book Spectral and High Order Methods for Partial Differential Equations - ICOSAHOM 2012 by

bigCover of the book Smart Nitrate Sensor 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