Formal Methods for Industrial Critical Systems : 30th International Conference, Fmics 2025, Aarhus, Denmark, August 27?28, 2025, Proceedings
Remke, Anne (EDT); Steffen, Bernhard (EDT)
Sold by GreatBookPrices, Columbia, MD, U.S.A.
AbeBooks Seller since April 6, 2009
New - Soft cover
Condition: New
Ships within U.S.A.
Quantity: 2 available
Add to basket