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 Analog-Digital Converters for Industrial Applications Including an Introduction to Digital-Analog Converters by

bigCover of the book Radiology of the Petrous Bone by

bigCover of the book Digital Imaging Primer by

bigCover of the book Control Theory for Engineers by

bigCover of the book Technology Management for Sustainable Production and Logistics by

bigCover of the book Symmetrien und Gruppen in der Teilchenphysik by

bigCover of the book Tropical Pathology by

bigCover of the book How to Gain Gain by

bigCover of the book Towards a Dynamic Regional Innovation System by

bigCover of the book Biological Modulation of Solid Tumours by Interferons by

bigCover of the book Dynamic and Transient Infinite Elements by

bigCover of the book CFD-Modellierung by

bigCover of the book Neuronal Plasticity: Building a Bridge from the Laboratory to the Clinic by

bigCover of the book New Approaches in Cancer Pharmacology: Drug Design and Development by

bigCover of the book Studying Cell Metabolism and Cell Interactions Using Microfluidic Devices Coupled with Mass Spectrometry 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