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 Systems and Software Quality by
bigCover of the book Programming Languages and Systems by
bigCover of the book Diagnostic Molecular Pathology in Practice by
bigCover of the book Fossil Algae by
bigCover of the book Novel Selenium-Mediated Rearrangements and Cyclisations by
bigCover of the book Progress and Perspective in the Treatment of Lung Cancer by
bigCover of the book Präzises Denken für Informatiker by
bigCover of the book Modern Theory of Magnetism in Metals and Alloys by
bigCover of the book Organic Electronics by
bigCover of the book Colour Atlas of Tropical Dermatology and Venerology by
bigCover of the book Modernity's Classics by
bigCover of the book Kernenergie by
bigCover of the book From Idea to Innovation by
bigCover of the book Clinical Pharmacology in Psychiatry by
bigCover of the book Dynamics in Enzyme Catalysis 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