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
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