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 Using Risk Analysis for Flood Protection Assessment by

bigCover of the book Artificial General Intelligence by

bigCover of the book Glial Amino Acid Transporters by

bigCover of the book Romantic Literature and the Colonised World by

bigCover of the book Australia's Communities and the Boer War by

bigCover of the book Unhappiness, Sadness and 'Depression' by

bigCover of the book Dynamics of Coupled Structures, Volume 4 by

bigCover of the book Source Modeling Techniques for Quality Enhancement in Statistical Parametric Speech Synthesis by

bigCover of the book Pattern Recognition by

bigCover of the book Automated Electronic Filter Design by

bigCover of the book Community-Based Forest Management (CBFM) in Bangladesh by

bigCover of the book Lipid Management by

bigCover of the book Computational Science and Its Applications – ICCSA 2016 by

bigCover of the book Dream Consciousness by

bigCover of the book Augmented Reality, Virtual Reality, and Computer Graphics 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