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 Classical Mechanics and Electromagnetism in Accelerator Physics by

bigCover of the book Biomass Processing over Gold Catalysts by

bigCover of the book Nanotechnology in Oil and Gas Industries by

bigCover of the book Analysis of Samples of Clinical and Alimentary Interest with Paper-based Devices by

bigCover of the book Prosthetic Surgery in Urology by

bigCover of the book Rethinking Rural Health Ethics by

bigCover of the book Targeting the DNA Damage Response for Anti-Cancer Therapy by

bigCover of the book Ethics in Computing by

bigCover of the book Soil Erosion and Sediment Flux in Northern Jordan by

bigCover of the book Case Management and Care Coordination by

bigCover of the book Formulating Poorly Water Soluble Drugs by

bigCover of the book Against the Hypothesis of the End of Privacy by

bigCover of the book Best Practices for the Mentally Ill in the Criminal Justice System by

bigCover of the book Wastewater Treatment and Reuse in the Food Industry by

bigCover of the book Brain Function and Responsiveness in Disorders of Consciousness 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