Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe
Sankaranarayanan, Sriram ; Sharygina, Natasha (Author) · Springer · Paperback
£ 55.20
Choose the list to add your product or create one New List
Go to My WishlistsDo you have a question about the book? Login to be able to add your own question.