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 Building Dialogue POMDPs from Expert Dialogues by

bigCover of the book ABC Transporters - 40 Years on by

bigCover of the book Smart Futures, Challenges of Urbanisation, and Social Sustainability by

bigCover of the book New Frontiers in Artificial Intelligence by

bigCover of the book Advances in Computer Entertainment Technology by

bigCover of the book The Repressed Memory Epidemic by

bigCover of the book The Physiology of Microalgae by

bigCover of the book The Creation of Local Innovation Systems in Emerging Countries by

bigCover of the book Semantic Web Evaluation Challenges by

bigCover of the book The Dynamics of Iranian Borders by

bigCover of the book Acetylene and Its Polymers by

bigCover of the book Phenomenology and Intercultural Understanding by

bigCover of the book Innovative Healthcare Systems for the 21st Century by

bigCover of the book Guide to Unconventional Computing for Music 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