Skip to main content
Cart 0
Formal Methods and Software Engineering
Click to zoom

Share this book

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

Book Details

Format Paperback / softback
ISBN-10 9819606160
ISBN-13 9789819606160
Publisher Springer Nature Switzerland AG
Imprint Springer Nature Switzerland AG
Country of Manufacture GB
Country of Publication GB
Publication Date Nov 29th, 2024
Print length 410 Pages
KSh 11,700.00
Currently unavailable 0 in stock

Delivery Location

Delivery fee: Select location

Secure
Quality
Fast
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.

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


Get Formal Methods and Software Engineering by Dominique Mery at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer Nature Switzerland AG and it has 410 pages.

Shopping Cart

Africa largest book store

Sub Total: