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 Fracture, Fatigue, Failure and Damage Evolution, Volume 8 by
Cover of the book A Civil-Military Response to Hybrid Threats by
Cover of the book Advances in Human Factors and Systems Interaction by
Cover of the book Using Mobile Technologies in the Teaching and Learning of Mathematics by
Cover of the book Security and Fault Tolerance in Internet of Things by
Cover of the book Integration of Reusable Systems by
Cover of the book Information Systems Architecture and Technology: Proceedings of 37th International Conference on Information Systems Architecture and Technology – ISAT 2016 – Part II by
Cover of the book Eliminating the IMF by
Cover of the book Chromosomal Translocations and Genome Rearrangements in Cancer by
Cover of the book Energy and Finance by
Cover of the book The Thermoballistic Transport Model by
Cover of the book The Language Question under Napoleon by
Cover of the book Knowledge Representation for Health Care by
Cover of the book Stereoselective Desymmetrization Methods in the Assembly of Complex Natural Molecules by
Cover of the book Advances in Computer Vision 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