MayDay Sale → Spara upp till 60%
Alla 1s utgivelser på Etienne Andre-Jun Sun
Kategorier
Annan
Kundservice
SEK
![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 (Pocketbok) [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-pocketbok&class=scaled&v=1750184893)