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 Rethinking Capital by

bigCover of the book Fractal Apertures in Waveguides, Conducting Screens and Cavities by

bigCover of the book Nano and Biotech Based Materials for Energy Building Efficiency by

bigCover of the book Musculoskeletal Research and Basic Science by

bigCover of the book Human-Computer Interaction – INTERACT 2015 by

bigCover of the book Rotatory Knee Instability by

bigCover of the book Medical and Biomedical Applications of Shock Waves by

bigCover of the book Basic Concepts in Computational Physics by

bigCover of the book Superconductivity in Graphene and Carbon Nanotubes by

bigCover of the book Teaching Learning Based Optimization Algorithm by

bigCover of the book Reporting the First World War in the Liminal Zone by

bigCover of the book Human Rights, Social Movements and Activism in Contemporary Latin American Cinema by

bigCover of the book Genetics and Genomics of Pineapple by

bigCover of the book The Latin American (Counter-) Road Movie and Ambivalent Modernity by

bigCover of the book Collaborative Web Hosting 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