Tools and Algorithms for the Construction and Analysis of Systems: 31st International Conference, TACAS 2025, Held as Part of the International Joint ... II: 15697 (Lecture Notes in Computer Science)

Mostrar en Amazon

Oferta

i

Puede que también te interesen estos tacos 2025.

© 2025 WHICH.ONE. TODO EL CONTENIDO ESTÁ SUJETO A NUESTRO COPYRIGHT