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 Theatre, Social Media, and Meaning Making by
bigCover of the book Advances in Service and Industrial Robotics by
bigCover of the book Approximation by Max-Product Type Operators by
bigCover of the book European Access to Space: Business and Policy Perspectives on Micro Launchers by
bigCover of the book Study of Double Parton Scattering Using Four-Jet Scenarios by
bigCover of the book Genetic Diversity and Erosion in Plants by
bigCover of the book A Differential Approach to Geometry by
bigCover of the book Speechwriting in Theory and Practice by
bigCover of the book Azokh Cave and the Transcaucasian Corridor by
bigCover of the book Advances in Ergonomics of Manufacturing: Managing the Enterprise of the Future by
bigCover of the book Landscape Planning and Rural Development by
bigCover of the book Coating Technology for Vehicle Applications by
bigCover of the book Nanotribology and Nanomechanics by
bigCover of the book Information and Communication Technologies for Ageing Well and e-Health by
bigCover of the book Heat and Mass Transfer in the Melting of Frost 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