Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
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 International Conference, TAP 2019, Held As Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October

by Dirk Beyer, Joan Ross Keyes Paperback 2019

⭐ 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, Joan Ross Keyes
  • ISBN 13: 9783030311568
  • ISBN 10: 3030311562
  • Publication Year: 2019
  • Language: English

Specifications

Index-103030311562
LanguageEnglish
Index-139783030311568
Period-
Class Track-
Publisher- (2019)
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
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