Formal Methods
de André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
Ediciones (2)
- Formal Methods (2024)
Springer · inglés · ISBN 9783031711763
- Formal Methods (2024)
Springer · inglés · ISBN 9783031711619
de André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
Springer · inglés · ISBN 9783031711763
Springer · inglés · ISBN 9783031711619
