Download E-books Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science) PDF

This booklet constitutes the refereed court cases of the thirteenth foreign convention on software program Engineering and Formal tools, SEFM 2015, held in York, united kingdom, in September 2015.

The 17 complete papers provided including 2 invited and six brief papers have been conscientiously reviewed and chosen from ninety six submissions. the subjects of curiosity incorporated the next features of software program engineering and formal equipment: software verification, checking out, certification, formal specification and facts, trying out and version checking, making plans, modelling, and version transformation.

Show description

Read Online or Download Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science) PDF

Best Software books

Extra info for Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings (Lecture Notes in Computer Science)

Show sample text content

Rated 4.00 of 5 – based on 3 votes