Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences ... Science Book 11428) (English Edition)

Autor: Vojnar, Tomáš

Preço: 0.00 BRL

Editora: Springer

ASIN: B07Q9JYFQK

Data de Cadastro: 2025-12-10 21:25:15