Software Engineering and Formal Methods

SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Nonfiction, Computers, Computer Hardware, Input-Output Equipment, General Computing, Programming

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 International Publishing

bigCover of the book A Clinician’s Guide to ADHD by

bigCover of the book Predicting Flow-Induced Acoustics at Near-Stall Conditions in an Automotive Turbocharger Compressor by

bigCover of the book OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence by

bigCover of the book Novel Catalysts in Advanced Oxidation of Organic Pollutants by

bigCover of the book Cardiovascular Imaging by

bigCover of the book The Origins and Development of Problem Behavior Theory by

bigCover of the book Beyond Bureaucracy by

bigCover of the book Image Processing and Communications Challenges 8 by

bigCover of the book Force-Controlled Robotic Assembly Processes of Rigid and Flexible Objects by

bigCover of the book Compressed Sensing with Side Information on the Feasible Region by

bigCover of the book Collaboration in a Hyperconnected World by

bigCover of the book Reflection Positivity by

bigCover of the book Applied Soil Physical Properties, Drainage, and Irrigation Strategies. by

bigCover of the book Boundary Blurred: A Seamless Customer Experience in Virtual and Real Spaces by

bigCover of the book Computational and Corpus-Based Phraseology 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