Software Engineering and Formal Methods

SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Information Technology, 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 Berlin Heidelberg

bigCover of the book Field-Coupled Nanocomputing by

bigCover of the book Dynamic Governance of Energy Technology Change by

bigCover of the book Legislative Delegation by

bigCover of the book Chinese Entrepreneurship by

bigCover of the book Unternehmen der nächsten Generation by

bigCover of the book Corporate Social Responsibility Reporting in China by

bigCover of the book Reviews of Physiology, Biochemistry and Pharmacology 161 by

bigCover of the book Neurosurgical Ethics in Practice: Value-based Medicine by

bigCover of the book Microsurgical Brain Aneurysms by

bigCover of the book The Surgery of Childhood Tumors by

bigCover of the book Cutaneous Flaps in Head and Neck Reconstruction by

bigCover of the book Bone Cements and Cementing Technique by

bigCover of the book The Economics of Natural Gas Storage by

bigCover of the book Physics of Quantum Fluids 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