Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
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 Objects, Components, and Systems : 43rd IFIP WG 6. 1 International Conference, FORTE 2023, Held As Part of the 18th

by Marieke Huisman, António Ravara Paperback 2023

⭐ 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, António Ravara
  • ISBN 13: 9783031353543
  • ISBN 10: 3031353544
  • Publication Year: 2023
  • Language: English

Specifications

Index-10 3031353544
Index-13 9783031353543
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 Methods : 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings

Formal Methods : 24th Internationa…

Marieke Huisman, Corina Pasareanu, Naijun Zhan

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