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 Inclusive Leadership by

bigCover of the book Regression Modeling Strategies by

bigCover of the book Design, User Experience, and Usability: Novel User Experiences by

bigCover of the book Conceptual Modeling by

bigCover of the book Marketing at the Confluence between Entertainment and Analytics by

bigCover of the book Digital Futures, Digital Transformation by

bigCover of the book Exploring the Martian Moons by

bigCover of the book Delay Tolerant Networks by

bigCover of the book Thermal Energy Storage Using Phase Change Materials by

bigCover of the book Posterior Cruciate Ligament Injuries by

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

bigCover of the book Youth Subcultures in Fiction, Film and Other Media by

bigCover of the book The Art and Craft of Policy Advising by

bigCover of the book Abstracting Geographic Information in a Data Rich World by

bigCover of the book Opportunistic Spectrum Utilization in Vehicular Communication Networks 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