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
Cover of the book Software Engineering and Formal Methods by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319661971
Publisher: Springer International Publishing Publication: August 24, 2017
Imprint: Springer Language: English
Author:
ISBN: 9783319661971
Publisher: Springer International Publishing
Publication: August 24, 2017
Imprint: Springer
Language: English

​This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.

The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an

d design principles. 

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

​This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017.

The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an

d design principles. 

More books from Springer International Publishing

Cover of the book Bio-Psycho-Social Contributions to Understanding Eating Disorders by
Cover of the book Our National River Ganga by
Cover of the book Enabling the Internet of Things by
Cover of the book Mobile Services for Toy Computing by
Cover of the book Geographic Information by
Cover of the book Radiative Processes in High Energy Astrophysics by
Cover of the book Writing Centers in the Higher Education Landscape of the Arabian Gulf by
Cover of the book China's Lessons for India: Volume II by
Cover of the book Recent Developments in Data Science and Intelligent Analysis of Information by
Cover of the book Tactile Display for Virtual 3D Shape Rendering by
Cover of the book Unknown Values and Stakeholders by
Cover of the book Software for Exascale Computing - SPPEXA 2013-2015 by
Cover of the book Algorithms and Dynamical Models for Communities and Reputation in Social Networks by
Cover of the book Graph Drawing and Network Visualization by
Cover of the book Uncertainty Quantification in Computational Fluid Dynamics and Aircraft Engines 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