This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions. The papers are organized in topical sections named:
| ISBN: | 9783030309411 |
| Publication date: | 15th September 2019 |
| Author: | Maurice H ter Beek |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 774 pages |
| Series: | Programming and Software Engineering |
| Genres: |
Software Engineering Compilers and interpreters Mathematical theory of computation Algorithms and data structures Artificial intelligence |
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019. The 44 full papers presented together with 3 invited presentations were carefully reviewed and selected from 129 submissions.
Formal Methods – The Next 30 Years features in the following genres: Software Engineering, Compilers and interpreters, Mathematical theory of computation, Algorithms and data structures, Artificial intelligence
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Formal Methods – The Next 30 Years was written by Maurice H ter Beek and published by Springer Nature Switzerland AG
Formal Methods – The Next 30 Years has 774 pages
Yes it is part of Programming and Software Engineering series
£40.49, reduced from £44.99. Not Available.