Formal Methods for Industrial Critical Systems
30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings
Series: Lecture Notes in Computer Science; 16040;
- Publisher's listprice EUR 62.05
-
24 236 Ft (23 082 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 20% (cc. 4 847 Ft off)
- Discounted price 19 389 Ft (18 466 Ft + 5% VAT)
- Discount is valid until: 30 June 2026
Subcribe now and take benefit of a favourable price.
Subscribe
21 328 Ft
Availability
printed on demand
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Springer Nature Switzerland
- Date of Publication 28 August 2025
- Number of Volumes 1 pieces, Book
- ISBN 9783032009418
- Binding Paperback
- No. of pages297 pages
- Size 235x155 mm
- Language English
- Illustrations X, 297 p. 108 illus., 78 illus. in color. Illustrations, black & white 633
Categories
Long description:
"
This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.
The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems
