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
Big bigCover of Software Engineering and Formal Methods

More books from Springer Berlin Heidelberg

bigCover of the book Scanning SQUID Microscope for Studying Vortex Matter in Type-II Superconductors by
bigCover of the book New Trends in Atomic and Molecular Physics by
bigCover of the book Paleontology in Ecology and Conservation by
bigCover of the book Tumors of the Fetus and Infant by
bigCover of the book Mechanical Integration of Plant Cells and Plants by
bigCover of the book Optimisation of Production Under Uncertainty by
bigCover of the book Bank- und Kapitalmarktstrafrecht by
bigCover of the book Niederlassungen führen by
bigCover of the book Functional Morphologic Changes in Female Sex Organs Induced by Exogenous Hormones by
bigCover of the book Advances in Ergonomic Design of Systems, Products and Processes by
bigCover of the book Drug Delivery by
bigCover of the book Thermodynamik by
bigCover of the book Peatlands of the Western Guayana Highlands, Venezuela by
bigCover of the book Die vierte Dimension der Digitalisierung by
bigCover of the book Piezotronics and Piezo-Phototronics 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