Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

Formal Methods : 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi Paperback 2024

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
  • ISBN 13: 9783031711619
  • ISBN 10: 3031711610
  • Publication Year: 2024
  • Language: English

Specifications

Index-10 3031711610
Index-13 9783031711619
Language English

✨ Readers also enjoyed...

View All →
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

Automated Deduction - CADE 28 : 28…

André Platzer, Geoff Sutcliffe

Inquire
Correct System Design : Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Pro

Correct System Design : Symposium …

Roland Meyer, André Platzer, Heike Wehrheim

Inquire
Logical Foundations of Cyber-Physical Systems

Logical Foundations of Cyber-Physi…

André Platzer

Inquire
Cuaderno Del Prado / the Prado Notebook

Cuaderno Del Prado / the Prado Not…

Ximena Maier

Inquire