10% off all books and free delivery over £40 - Last Express Posting Date for Christmas: 20th December
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Software Engineering and Formal Methods

View All Editions

The selected edition of this book is not available to buy right now.
Add To Wishlist
Write A Review

About

Software Engineering and Formal Methods Synopsis

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015. The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.

About This Edition

ISBN: 9783319229683
Publication date: 21st August 2015
Author: Radu Calinescu
Publisher: Springer International Publishing AG
Format: Paperback
Pagination: 369 pages
Series: Lecture Notes in Computer Science
Genres: Software Engineering
Mathematical theory of computation
Compilers and interpreters
Network hardware
Computer programming / software engineering