This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named:
| ISBN: | 9783030324407 |
| Publication date: | 16th October 2019 |
| Author: | Brijesh Dongol |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 245 pages |
| Series: | Theoretical Computer Science and General Issues |
| Genres: |
Mathematical theory of computation Compilers and interpreters Software Engineering Artificial intelligence Algorithms and data structures |
This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions.
Formal Methods Teaching features in the following genres: Mathematical theory of computation, Compilers and interpreters, Software Engineering, Artificial intelligence, Algorithms and data structures
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Formal Methods Teaching was written by Brijesh Dongol and published by Springer Nature Switzerland AG
Formal Methods Teaching has 245 pages
Yes it is part of Theoretical Computer Science and General Issues series
£40.49, reduced from £44.99. Not Available.