Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings

Runtime Verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings

by Bernd Finkbeiner, Leonardo Mariani 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: Bernd Finkbeiner, Leonardo Mariani
  • ISBN 13: 9783030320782
  • ISBN 10: 3030320782
  • Publication Year: 2019
  • Language: English

Specifications

Index-103030320782
LanguageEnglish
Index-139783030320782
Period-
Class Track-
Publisher- (2019)
Pages-

✨ Readers also enjoyed...

View All →
Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Fields of Logic and Computation II…

Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Prof. Manfred Droste, Bernd Finkbeiner

Inquire
Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification : First Inter…

Grigore Rosu, Oleg Sokolsky, Ylies Falcone, Bernd Finkbeiner, Gordon Pace

Inquire
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conf

Tools and Algorithms for the Const…

Bernd Finkbeiner, Laura Kovács

Inquire