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 Redox Homeostasis in Plants by
Cover of the book Socioinformatics - The Social Impact of Interactions between Humans and IT by
Cover of the book Why Life Matters by
Cover of the book How Ireland Voted 2016 by
Cover of the book The Networking of Chaperones by Co-chaperones by
Cover of the book Applied Soil Physical Properties, Drainage, and Irrigation Strategies. by
Cover of the book Queerness in Play by
Cover of the book Tools for High Performance Computing 2017 by
Cover of the book Realtime Data Mining by
Cover of the book Independent Random Sampling Methods by
Cover of the book Introduction to Logic Circuits & Logic Design with VHDL by
Cover of the book Nanotechnology: Applications in Energy, Drug and Food by
Cover of the book Introduction to Computer Networking by
Cover of the book Outlaw Motorcycle Gangs as Organized Crime Groups by
Cover of the book Creep in Ceramics 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