Todos1 Etienne Andre-Jun Sun lançamentos em Bog med ...t ryg
Categorias
Outro
Atendimento ao cliente
EUR
![Cover for Etienne Andre-Jun Sun · Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II - Lecture Notes in Computer Science (Paperback Book) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/311/9783031453311.jpg?etienne-andre-jun-sun-2023-automated-technology-for-verification-and-analysis-21st-international-symposium-atva-2023-singapore-october-24-27-2023-proceedings-part-ii-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1750184893)