Tools and Algorithms for the Construction Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part Joint ... (Lecture Notes in Computer Science, 16505)
Comparar tiendas web (1)
Shop
Precio