This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions. The broad topics of interest for FM include:
| ISBN: | 9783319489889 |
| Publication date: | 8th November 2016 |
| Author: | John Fitzgerald |
| Publisher: | Springer International Publishing AG |
| Format: | Paperback |
| Pagination: | 789 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Software Engineering Mathematical theory of computation Business mathematics and systems |
This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions.
FM 2016: Formal Methods features in the following genres: Software Engineering, Mathematical theory of computation, Business mathematics and systems
Paperback. £40.49, down from the £44.99 cover price. Not Available.
FM 2016: Formal Methods was written by John Fitzgerald and published by Springer International Publishing AG
FM 2016: Formal Methods has 789 pages
Yes it is part of Programming and Software Engineering series
£40.49, reduced from £44.99. Not Available.