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 Disadvantaged Workers by
Cover of the book Civic Engagement Pedagogy in the Community College: Theory and Practice by
Cover of the book Ageing in Irish Writing by
Cover of the book Japanese Horror and the Transnational Cinema of Sensations by
Cover of the book Biomedical Signals and Sensors III by
Cover of the book Tensor Categories and Endomorphisms of von Neumann Algebras by
Cover of the book Quantum Physics and Geometry by
Cover of the book Emotional Engineering (Vol. 3) by
Cover of the book Dietary Supplement Regulation in the United States by
Cover of the book Education, Sustainability and the Ecological Social Imaginary by
Cover of the book The Philosophy and Politics of Aesthetic Experience by
Cover of the book Glaciers of Georgia by
Cover of the book Geologic Carbon Sequestration by
Cover of the book Gender, Sex Hormones and Respiratory Disease by
Cover of the book Husserlian Phenomenology 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