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 Spatial Fleming-Viot Models with Selection and Mutation by
Cover of the book Fuzzy Classification of Online Customers by
Cover of the book Advances in Quantum Methods and Applications in Chemistry, Physics, and Biology by
Cover of the book Offshore Processing of CO2-Rich Natural Gas with Supersonic Separator by
Cover of the book Civil Society, Rhetoric of Resistance, and Transatlantic Trade by
Cover of the book What Does it Mean to be an Empiricist? by
Cover of the book Nutrition Support for the Critically Ill by
Cover of the book Advances in Social Simulation 2015 by
Cover of the book Wrinkled Polymer Surfaces by
Cover of the book Restructuring and Innovation in Banking by
Cover of the book A Clinician's Guide to Pemphigus Vulgaris by
Cover of the book Taiwan's Political Re-Alignment and Diplomatic Challenges by
Cover of the book The Nigerian National Assembly by
Cover of the book Oceanic Internal Tides: Observations, Analysis and Modeling by
Cover of the book Supervising Child Protection Practice: What Works? 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