BooksPrice.com

book price comparison

Wu, Zhilin books & textbook


Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings (Lecture Notes in Computer Science)

Bouajjani, Ahmed  Holík, Lukáš  Wu, Zhilin  

Springer /2022-10-23 Paperback / 456 Pages
isbn-10: 303119991X / isbn-13: 9783031199912
   

compare price