Please click here for information on incomplete orders placed before 03 July 2024

Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

By: Alessandro Cimatti (Editor), Marjan Sirjani (Editor)

Write A Review

eBook | 17 September 2017

Sorry, we are not able to source the ebook you are looking for right now.

We did a search for other ebooks with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your ebook.

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.

on

You Can Find This eBook In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Programming & Scripting Languages Digital Lifestyle & Online World: Consumer & User Guides Portable & Handheld Devices User Guides Computer Science Artificial Intelligence Systems Analysis & Design Compilers & Interpreters Computer Architecture & Logic Design

Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

on

You Can Find This eBook In

This product is categorised by