Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science #15394)
By: and and 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 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024. The 22 full papers presented were carefully reviewed and selected from 50 submissions. The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods
- Copyright:
- 2024
Book Details
- Book Quality:
- Publisher Quality
- ISBN-13:
- 9789819606177
- Related ISBNs:
- 9789819606160
- Publisher:
- Springer Nature Singapore
- Date of Addition:
- 12/30/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:
- Kazuhiro Ogata
- Edited by:
- Dominique Mery
- Edited by:
- Meng Sun
- Edited by:
- Shaoying Liu
Reviews
Other Books
- by Shaoying Liu
- by Kazuhiro Ogata
- by Dominique Mery
- by Meng Sun
- in Nonfiction
- in Computers and Internet