Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, Tacas 2023, Held as Part of the European Joint Confe (in English)
Sankaranarayanan, Sriram ; Sharygina, Natasha (Author) · Springer · Paperback
$ 47.36
$ 49.99
You save: $ 2.63
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.