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 Traumatic Memory and the Ethical, Political and Transhistorical Functions of Literature by
Cover of the book The Family Office by
Cover of the book Advances in Understanding Kingella kingae by
Cover of the book The Neuroscience of Mindfulness Meditation by
Cover of the book Indian Women in Leadership by
Cover of the book Pollutants in Buildings, Water and Living Organisms by
Cover of the book British Terrorist Novels of the 1970s by
Cover of the book Practising Corporate Social Responsibility in Malaysia by
Cover of the book Schooling and Travelling Communities by
Cover of the book Psychosocial Stress and Cardiovascular Disease in Women by
Cover of the book Digital Preservation: Putting It to Work by
Cover of the book Green Crime in Mexico by
Cover of the book From Global to Local Statistical Shape Priors by
Cover of the book A Conceptual Model for Designing Recycled Aggregate Concrete for Structural Applications by
Cover of the book Anticoagulant Rodenticides and Wildlife 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