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 Europa’s Lost Expedition by

bigCover of the book Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques by

bigCover of the book Mathematical Aspects of Computer and Information Sciences by

bigCover of the book Fomenting Political Violence by

bigCover of the book Inclusive Leadership by

bigCover of the book Moral Error Theory by

bigCover of the book AI Approaches to the Complexity of Legal Systems by

bigCover of the book Secularisms in a Postsecular Age? by

bigCover of the book Antibiotics and Antibiotics Resistance Genes in Soils by

bigCover of the book Gay Mental Healthcare Providers and Patients in the Military by

bigCover of the book Tensor Categories and Endomorphisms of von Neumann Algebras by

bigCover of the book Advancement of Optical Methods in Experimental Mechanics, Volume 3 by

bigCover of the book Regional Economic Integration in West Africa by

bigCover of the book Solidarity in the European Union by

bigCover of the book Beyond the Internet of Things 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