Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
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 Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held As Part of the European Joint Conf

by Dirk Beyer, Marieke Huisman Paperback 2018

⭐ 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, Marieke Huisman
  • ISBN 13: 9783319899626
  • ISBN 10: 3319899627
  • Publication Year: 2018
  • Language: English

Specifications

Index-103319899627
LanguageEnglish
Index-139783319899626
Period-
Class Track-
Publisher- (2018)
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