Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings (Lecture Notes in Computer Science #15234)
By: and
Sign Up Now!
Already a Member? Log In
You must be logged into Bookshare to access this title.
Learn about membership options,
or view our freely available titles.
- Synopsis
- This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK. The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.
- Copyright:
- 2025
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9783031765544
- Related ISBNs:
- 9783031765537
- Publisher:
- Springer Nature Switzerland
- Date of Addition:
- 12/14/24
- Copyrighted By:
- The Editor
- Adult content:
- No
- Language:
- English
- Has Image Descriptions:
- No
- Categories:
- Nonfiction, Computers and Internet
- Submitted By:
- Bookshare Staff
- Usage Restrictions:
- This is a copyrighted book.
- Edited by:
- Nikolai Kosmatov
- Edited by:
- Laura Kovács
Reviews
Other Books
- by Nikolai Kosmatov
- by Laura Kovács
- in Nonfiction
- in Computers and Internet