Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings

Nonfiction, Computers, Programming, Software Development, Programming Languages, General Computing
Big bigCover of Software Engineering and Formal Methods

More books from Springer International Publishing

bigCover of the book Experimental Legislation in China between Efficiency and Legality by
bigCover of the book Intelligent Robotics and Applications by
bigCover of the book Formal Methods and Software Engineering by
bigCover of the book Broadband Wireless Communications for Railway Applications by
bigCover of the book Urban Disaster Resilience and Security by
bigCover of the book Jacobi Forms, Finite Quadratic Modules and Weil Representations over Number Fields by
bigCover of the book Optical Phenomenology and Applications by
bigCover of the book Rural Sustainability by
bigCover of the book Changing Global Perspectives on Horseshoe Crab Biology, Conservation and Management by
bigCover of the book Advances in Gender and Cultural Research in Business and Economics by
bigCover of the book Electroceuticals by
bigCover of the book Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance by
bigCover of the book A Critical Examination of Ethics in Health Care and Biomedical Research by
bigCover of the book Professors, Physicians and Practices in the History of Medicine by
bigCover of the book Iconicity and Abduction 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