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 Multicomponent Silicides for Thermoelectric Materials by

bigCover of the book Assistive Technologies for the Interaction of the Elderly by

bigCover of the book Convexity and Discrete Geometry Including Graph Theory by

bigCover of the book Socioeconomic Fragmentation and Exclusion in Greece under the Crisis by

bigCover of the book Algorithms for Computational Biology by

bigCover of the book Neurologic Disease by

bigCover of the book Stable Convergence and Stable Limit Theorems by

bigCover of the book Reframing Economic Ethics by

bigCover of the book Handbook of Social Behavior and Skills in Children by

bigCover of the book Advanced Polytopic Projects by

bigCover of the book Sleep Disorders in Children by

bigCover of the book Restorative Justice in China by

bigCover of the book Real Estate Due Diligence by

bigCover of the book Mathematics, Informatics, and Their Applications in Natural Sciences and Engineering by

bigCover of the book The Merits of Regional Cooperation 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