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 Connected Environments for the Internet of Things by

bigCover of the book Nonlinear Dynamics in Biological Systems by

bigCover of the book Developments and Advances in Intelligent Systems and Applications by

bigCover of the book Challenges and Opportunities for Agricultural Intensification of the Humid Highland Systems of Sub-Saharan Africa by

bigCover of the book Nurse Practitioners and the Performance of Professional Competency by

bigCover of the book Deterministic Kinetics in Chemistry and Systems Biology by

bigCover of the book Filial Obsessions by

bigCover of the book Reductive Explanation in the Biological Sciences by

bigCover of the book Beyond Standard Model Collider Phenomenology of Higgs Physics and Supersymmetry by

bigCover of the book Automatic Analog IC Sizing and Optimization Constrained with PVT Corners and Layout Effects by

bigCover of the book Designing Learning for Tablet Classrooms by

bigCover of the book Techniques for Evaluating the Differences in Multiregional Input-Output Databases by

bigCover of the book Regenerative Medicine - from Protocol to Patient by

bigCover of the book Radio Frequency Source Coding Made Easy 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