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 First Settlement of Remote Oceania by

bigCover of the book Evolutionary Computation Techniques: A Comparative Perspective by

bigCover of the book Civil Society and Political Representation in Latin America (2010-2015) by

bigCover of the book Advances in Characterization and Analysis of Expansive Soils and Rocks by

bigCover of the book Lung Ultrasound in the Critically Ill by

bigCover of the book Emergent Knowledge Strategies by

bigCover of the book Ras Superfamily Small G Proteins: Biology and Mechanisms 2 by

bigCover of the book Principles and Practice of Radiotherapy Techniques in Thoracic Malignancies by

bigCover of the book Big Data Analytics and Knowledge Discovery by

bigCover of the book Perspectives on the Archaeology of Pipes, Tobacco and other Smoke Plants in the Ancient Americas by

bigCover of the book Time-Dependent Switched Discrete-Time Linear Systems: Control and Filtering by

bigCover of the book Medical Problems During Pregnancy by

bigCover of the book Through-life Engineering Services by

bigCover of the book Analysis and Modeling of Complex Data in Behavioral and Social Sciences by

bigCover of the book Improving Anti-Money Laundering Compliance 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