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 Sustainable Rail Transport by

bigCover of the book New Trends in Databases and Information Systems by

bigCover of the book Democracy and Growth in the Twenty-first Century by

bigCover of the book Democracy and Social Justice Education in the Information Age by

bigCover of the book Recognition and Enforcement of Foreign Arbitral Awards by

bigCover of the book Cloud Data Management by

bigCover of the book Hayek: A Collaborative Biography by

bigCover of the book Genetics and Genomics of Cucurbitaceae by

bigCover of the book Theory of Cryptography by

bigCover of the book Geoinformatics for Intelligent Transportation by

bigCover of the book Equity Markets in Transition by

bigCover of the book E-Democracy: Citizen Rights in the World of the New Computing Paradigms by

bigCover of the book Management of Benign Biliary Stenosis and Injury by

bigCover of the book The Role of Bacteria in Urology 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