Get Free Shipping on orders over $79
Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2â"6, 2024, Proceedings - Dominique Mery
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Formal Methods and Software Engineering

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

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

Paperback | 2 January 2025

At a Glance

Paperback


$109.00

or 4 interest-free payments of $27.25 with

 or 

Ships in 5 to 7 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 Information Technology General Issue

Careless People : A story of where I used to work - Sarah Wynn-Williams

RRP $24.99

$21.75

13%
OFF
Doppelganger : A Trip Into the Mirror World - Naomi Klein

RRP $26.99

$22.99

15%
OFF
Human-Centered Machine Learning - Rebecca Fiebrink

RRP $139.95

$126.75

Apple : The First 50 Years - David Pogue

RRP $80.00

$58.99

26%
OFF
Against the Machine : On the Unmaking of Humanity - Paul Kingsnorth

RRP $55.00

$42.75

22%
OFF
Open to Work : How to Get Ahead in the Age of AI - Ryan Roslansky

RRP $34.99

$27.99

20%
OFF
Chip War : The Fight for the World's Most Critical Technology - Chris Miller
How to Talk to AI : (And How Not To) - Jamie Bartlett

RRP $26.99

$22.99

15%
OFF