Rigorous State-Based Methods

Rigorous State-Based Methods: 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings and published by Springer. The Digital and eTextbook ISBNs for Rigorous State-Based Methods are 9783031945335, 3031945336 and the print ISBNs are 9783031945328, 3031945328. Save up to 80% versus print by going digital with VitalSource.

Rigorous State-Based Methods: 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10–13, 2025, Proceedings and published by Springer. The Digital and eTextbook ISBNs for Rigorous State-Based Methods are 9783031945335, 3031945336 and the print ISBNs are 9783031945328, 3031945328. Save up to 80% versus print by going digital with VitalSource.