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 Stochastic Models with Power-Law Tails by

bigCover of the book The Mathematical Theory of Time-Harmonic Maxwell's Equations by

bigCover of the book Ice Ages and Interglacials by

bigCover of the book Infiltration Measurements for Soil Hydraulic Characterization by

bigCover of the book Local Ownership in Asian Peacebuilding by

bigCover of the book The Trump Presidency by

bigCover of the book Design of Low Power and Low Area Passive Sigma Delta Modulators for Audio Applications by

bigCover of the book The Changing Epistemic Governance of European Education by

bigCover of the book Development Aid—Populism and the End of the Neoliberal Agenda by

bigCover of the book Thermal Performance Modeling of Cross-Flow Heat Exchangers by

bigCover of the book Stochastic Calculus by

bigCover of the book Inter-Municipal Cooperation in Europe by

bigCover of the book Algebra for Cryptologists 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