Software Engineering and Formal Methods

SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, 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 Discrete Dynamical Models by

bigCover of the book Systems Pharmacology and Pharmacodynamics by

bigCover of the book Corporate Sustainability, Social Responsibility and Environmental Management by

bigCover of the book Complications of Anorectal Surgery by

bigCover of the book Phlebology, Vein Surgery and Ultrasonography by

bigCover of the book Rotatory Knee Instability by

bigCover of the book Fundamentals of Sustainable Urban Renewal in Small and Mid-Sized Towns by

bigCover of the book Advanced Social Interaction with Agents by

bigCover of the book Advances in Design for Inclusion by

bigCover of the book Statistical Mechanics for Engineers by

bigCover of the book Leadership of Assessment, Inclusion, and Learning by

bigCover of the book Metabolic Disorders and Critically Ill Patients by

bigCover of the book Descriptions, Translations and the Caribbean by

bigCover of the book Control Systems and Mathematical Methods in Economics by

bigCover of the book Extreme States of Matter 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