Software Engineering and Formal Methods

SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, 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 Cybersecurity in China by

bigCover of the book Regulating Corporate Criminal Liability by

bigCover of the book Cybercrime, Digital Forensics and Jurisdiction by

bigCover of the book 1st Karl Schwarzschild Meeting on Gravitational Physics by

bigCover of the book A Metaheuristic Approach to Protein Structure Prediction by

bigCover of the book Genetics, Evolution and Radiation by

bigCover of the book Problem Behavior Theory and the Social Context by

bigCover of the book The Coming Economic Implosion of Saudi Arabia by

bigCover of the book Claiming Space for Australian Women’s Writing by

bigCover of the book Natural Convective Heat Transfer from Short Inclined Cylinders by

bigCover of the book Augmented Cognition: Users and Contexts by

bigCover of the book Principles and Practice of Constraint Programming by

bigCover of the book Advances in Cross-Cultural Decision Making by

bigCover of the book Wireless Mobile Communication and Healthcare 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