Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

by Marieke Huisman, Corina Pasareanu, Naijun Zhan Paperback 2021

⭐ 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: Marieke Huisman, Corina Pasareanu, Naijun Zhan
  • ISBN 13: 9783030908690
  • ISBN 10: 3030908690
  • Publication Year: 2021
  • Language: English

Specifications

Index-10 3030908690
Index-13 9783030908690
Language English

✨ Readers also enjoyed...

View All →
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 2004, Revis

Construction and Analysis of Safe,…

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean

Inquire
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6. 1 International Conference, FORTE 2023, Held As Part of the 18th

Formal Techniques for Distributed …

Marieke Huisman, António Ravara

Inquire
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held As Part of the European Joint Conferences on Theory an

Fundamental Approaches to Software…

Marieke Huisman, Julia Rubin

Inquire
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held As Part of the European Joint Conf

Tools and Algorithms for the Const…

Dirk Beyer, Marieke Huisman

Inquire
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held As Part of the European Joint Conf

Tools and Algorithms for the Const…

Dirk Beyer, Marieke Huisman

Inquire