This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations.
Also included are the extended abstracts of 6 "journal-first" papers.
| ISBN: | 9783030349677 |
| Publication date: | 15th November 2019 |
| Author: | Wolfgang Ahrendt |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 554 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Software Engineering Compilers and interpreters Mathematical theory of computation Artificial intelligence Computer modelling and simulation Computer hardware |
This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions.
Integrated Formal Methods features in the following genres: Software Engineering, Compilers and interpreters, Mathematical theory of computation, Artificial intelligence, Computer modelling and simulation, Computer hardware
Paperback. £40.49, down from the £44.99 cover price. Not Available.
Integrated Formal Methods was written by Wolfgang Ahrendt and published by Springer Nature Switzerland AG
Integrated Formal Methods has 554 pages
Yes it is part of Lecture Notes in Computer Science series
£40.49, reduced from £44.99. Not Available.