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 Strategic Management of Professional Service Firms by
bigCover of the book Cold Rolling Precision Forming of Shaft Parts by
bigCover of the book The Mechanism of Action of Androgens by
bigCover of the book Photoinduced Modifications of the Nonlinear Optical Response in Liquid Crystalline Azopolymers by
bigCover of the book Serviceinnovation by
bigCover of the book Dynamics of Nonlinear Time-Delay Systems by
bigCover of the book Clinical Pharmacology in Psychiatry by
bigCover of the book Chips 2020 by
bigCover of the book Wettbewerbsfähigkeit der Produktion an Hochlohnstandorten by
bigCover of the book Führungskraft - und was jetzt? by
bigCover of the book Potassic Igneous Rocks and Associated Gold-Copper Mineralization by
bigCover of the book Beyond Market and Government by
bigCover of the book Acute and Long-Term Side-Effects of Radiotherapy by
bigCover of the book The Nature of Motive Force by
bigCover of the book Erfolgreiche Abgabe einer Zahnarztpraxis 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