Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings - Kazuhiro Ogata

Formal Methods and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings

By: Kazuhiro Ogata (Editor), Dominique Mery (Editor), Meng Sun (Editor)

Paperback | 2 January 2025

At a Glance

Paperback


$124.67

or 4 interest-free payments of $31.17 with

 or 

Aims to ship in 7 to 10 business days

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

More in Computer Science

Co-Intelligence : Living and Working with AI - Ethan Mollick

RRP $36.99

$33.25

10%
OFF
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$50.35

33%
OFF
Fuzzy Methods for Assessment and Decision Making - Michael Gr. Voskoglou

RRP $264.95

$199.95

25%
OFF
Windows 11 For Dummies, 2nd Edition : Windows 11 For Dummies - Alan Simpson
Artificial Intelligence : A Modern Approach, 4th Global Edition - Stuart Russell
How We Learn : The New Science of Education and the Brain - Stanislas Dehaene
Cybersecurity All-in-One For Dummies : For Dummies - Joseph Steinberg
Cooking for Geeks : Real Science, Great Cooks, and Good Food - Jeff Potter