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 Transport Processes in Space Physics and Astrophysics by

bigCover of the book Machine Learning in Medicine - a Complete Overview by

bigCover of the book Computer Safety, Reliability, and Security by

bigCover of the book The Era of Private Peacemakers by

bigCover of the book Hydrogels of Cytoskeletal Proteins by

bigCover of the book EAI International Conference on Technology, Innovation, Entrepreneurship and Education by

bigCover of the book p-Laplace Equation in the Heisenberg Group by

bigCover of the book Cañadell's Pediatric Bone Sarcomas by

bigCover of the book Cultivating Mindfulness in Clinical Social Work by

bigCover of the book Case-Based Reasoning Research and Development by

bigCover of the book Particles and Astrophysics by

bigCover of the book Gender, Pregnancy and Power in Eighteenth-Century Literature by

bigCover of the book The Breathless Heart by

bigCover of the book Women's Mental Health by

bigCover of the book Turing Machine Universality of the Game of Life 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