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 Seismic Behaviour and Design of Irregular and Complex Civil Structures II by

bigCover of the book White Coat Tales by

bigCover of the book Shaping Peace in Kosovo by

bigCover of the book Building Dialogue POMDPs from Expert Dialogues by

bigCover of the book A Comprehensive Guide to Core Needle Biopsies of the Breast by

bigCover of the book Practical Urological Ultrasound by

bigCover of the book From Bioinspired Systems and Biomedical Applications to Machine Learning by

bigCover of the book The Failure of Financial Regulation by

bigCover of the book Epistemology, Knowledge and the Impact of Interaction by

bigCover of the book The Greek Debt Crisis by

bigCover of the book The Caves of Burnsville Cove, Virginia by

bigCover of the book Researching Second Language Learning and Teaching from a Psycholinguistic Perspective by

bigCover of the book Business Modeling and Software Design by

bigCover of the book Making Effective Presentations at Professional Conferences 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