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 Deep Learning and Convolutional Neural Networks for Medical Image Computing by

bigCover of the book Ethics and Governance of Biomedical Research by

bigCover of the book Concepts in Cell Biology - History and Evolution by

bigCover of the book Building Global Resilience in the Aftermath of Sustainable Development by

bigCover of the book Demographic and Socioeconomic Basis of Ethnolinguistics by

bigCover of the book Spectral Evolution in Blazars by

bigCover of the book Genetics, Evolution and Radiation by

bigCover of the book The Energy Landscape in the Republic of South Africa by

bigCover of the book Big Data Analytics and Knowledge Discovery by

bigCover of the book microRNA: Medical Evidence by

bigCover of the book Ernst Mach – Zu Leben, Werk und Wirkung by

bigCover of the book Measuring Regional Specialisation by

bigCover of the book Water Policy in the Philippines by

bigCover of the book Theoretical Femtosecond Physics by

bigCover of the book The Force of Law Reaffirmed 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