Formal MethodsAndré Platzer
Formal Methods
André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi · 2024
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2024
- Language
- English
- Publisher
- Springer
- Editions
- 2
- Pages
- 650
- ISBN
- 9783031711619
Data source: Wikidata
More by André Platzer
Logical Analysis of Hybrid SystemsAndré Platzer
Logical Analysis of Hybrid Systems
André Platzer · 2010
Automated Deduction - CADE 28André Platzer
Automated Deduction - CADE 28
André Platzer · 2021
Logical Foundations of Cyber-Physical SystemsAndré Platzer
Logical Foundations of Cyber-Physical Systems
André Platzer · 2018