Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

Formal Methods : 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

by Marsha Chechik, Joost-Pieter Katoen, Martin Leucker 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: Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
  • ISBN 13: 9783031274800
  • ISBN 10: 3031274806
  • Publication Year: 2023
  • Language: English

Specifications

Index-103031274806
LanguageEnglish
Index-139783031274800
Period-
Class Track-
Publisher- (2023)
Pages-

✨ Readers also enjoyed...

View All →
Fundamental Approaches to Software Engineering : 12th International Conference, Fase 2009, Held As Part of the Joint European Conferences on Theory an

Fundamental Approaches to Software…

Marsha Chechik, Martin Wirsing

Inquire
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, Tacas 2016, Held As Part of the European Joint Conf

Tools and Algorithms for the Const…

Marsha Chechik, Jean-Francois Raskin

Inquire
Verified Software. Theories, Tools, and Experiments : 8th International Conference, VSTTE 2016, Toronto, on, Canada, July 17-18, 2016, Revised Selecte

Verified Software. Theories, Tools…

Sandrine Blazy, Marsha Chechik

Inquire
The Valley of Lost Secrets

The Valley of Lost Secrets

Lesley Parr

Inquire