All 1 Natasha Sharygina-Sriram Sankaranarayanan rele... Book
Categories
Other
Support
USD
In stock at iMusic
Show unavailable items
![Cover for Natasha Sharygina-Sriram Sankaranarayanan · Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Par (Paperback Book) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/192/9783031308192.jpg?natasha-sharygina-sriram-sankaranarayanan-2023-tools-and-algorithms-for-the-construction-and-analysis-of-systems-29th-international-conference-tacas-2023-held-as-part-of-the-european-joint-conferences-on-theory-and-practice-of-software-etaps-2023-paris-fra&class=scaled&v=1749774859)