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