Please click here for information on incomplete orders placed before 03 July 2024

Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings

By: Wolfgang Ahrendt (Editor), Silvia Lizeth Tapia Tarifa (Editor)

Write A Review

eBook | 14 January 2020

Sorry, we are not able to source the ebook you are looking for right now.

We did a search for other ebooks with a similar title, however there were no matches. You can try selecting from a similar category, click on the author's name, or use the search box above to find your ebook.

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.

on

You Can Find This eBook In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Programming & Scripting Languages Computer Science Artificial Intelligence Graphical & Digital Media Applications 3D Graphics & Modelling Computer Networking & Communications Compilers & Interpreters Computer Hardware

Mathematical Theory of Computation Mathematics

Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings

on

You Can Find This eBook In

This product is categorised by