Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, Tacas 2024, Held as Part of the European Joint Confe (in English)
Finkbeiner, Bernd ; Kovács, Laura (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.