| Record Type: |
Language materials, printed
: Monograph/item
|
| Title/Author: |
Formal methods/ edited by André Platzer ... [et al.]. |
| Reminder of title: |
26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024 : proceedings. |
| remainder title: |
FM 2024 |
| other author: |
Platzer, Andre. |
| corporate name: |
Workshop on the Preservation of Stability under Discretization |
| Published: |
Cham :Springer Nature Switzerland : : 2025., |
| Description: |
xxii, 652 p. :ill. (chiefly color), digital ; : 24 cm.; |
| Contained By: |
Springer Nature eBook |
| Subject: |
Formal methods (Computer science) - |
| Online resource: |
https://doi.org/10.1007/978-3-031-71177-0 |
| ISBN: |
9783031711770 |