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
-
26 191 Ft (24 944 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 12% (cc. 3 143 Ft off)
- Discounted price 23 048 Ft (21 951 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
26 191 Ft
Availability
Not yet published.
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 September 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 700
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
