Logo

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

by Bernd Finkbeiner, Laura Kovács 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: Bernd Finkbeiner, Laura Kovács
  • ISBN 13: 9783031572555
  • ISBN 10: 3031572556
  • Publication Year: 2024
  • Language: English

Specifications

Index-103031572556
LanguageEnglish
Index-139783031572555
Period-
Class Track-
Publisher- (2024)
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 : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings

Runtime Verification : 19th Intern…

Bernd Finkbeiner, Leonardo Mariani

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
Follas Novas : Versos en Gallego

Follas Novas : Versos en Gallego

Rosalía de. Castro

Inquire