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 Benedetto Cotrugli – The Book of the Art of Trade by

bigCover of the book The Nature of Dusty Star-Forming Galaxies by

bigCover of the book Medical Parasitology by

bigCover of the book Postgrowth and Wellbeing by

bigCover of the book Research, Boundaries, and Policy in Networked Learning by

bigCover of the book Multibody Dynamics by

bigCover of the book Large-Scale Scientific Computing by

bigCover of the book From Security to Community Detection in Social Networking Platforms by

bigCover of the book Focal Therapy of Prostate Cancer by

bigCover of the book Weak-Coupling Theory of Topological Superconductivity by

bigCover of the book The MassGeneral Hospital for Children Adolescent Medicine Handbook by

bigCover of the book The English Countryside by

bigCover of the book Electrochemical Sensing: Carcinogens in Beverages by

bigCover of the book Non-Associative and Non-Commutative Algebra and Operator Theory by

bigCover of the book Counteracting Methodological Errors in Behavioral Research 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