Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competition

TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competition

by Dirk Beyer, Arnd Hartmanns, Fabrice Kordon 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: Dirk Beyer, Arnd Hartmanns, Fabrice Kordon
  • ISBN 13: 9783031676949
  • ISBN 10: 3031676947
  • Publication Year: 2024
  • Language: English

Specifications

Index-103031676947
LanguageEnglish
Index-139783031676949
Period-
Class Track-
Publisher- (2024)
Pages-

✨ Readers also enjoyed...

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

Fundamental Approaches to Software…

Dirk Beyer, Ana Cavalcanti

Inquire
Markovian Demand Inventory Models

Markovian Demand Inventory Models

Dirk Beyer, Feng Cheng, Suresh P. Sethi, Michael Taksar

Inquire
Markovian Demand Inventory Models

Markovian Demand Inventory Models

Springer, Dirk Beyer, Feng Cheng, Suresh P. Sethi, Michael Taksar

Inquire
Tests and Proofs : 13th International Conference, TAP 2019, Held As Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October

Tests and Proofs : 13th Internatio…

Dirk Beyer, Joan Ross Keyes

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