Home
Tools and Algorithms for the Construction and Analysis of Systems by Bernd Finkbeiner, Paperback | Indigo Chapters
![Tools and Algorithms for the Construction and Analysis of Systems by Bernd Finkbeiner, Paperback | Indigo Chapters](https://dynamic.indigoimages.ca/books/9783031572555.jpg?scaleup=true&width=600&quality=85&lang=en)
Coles
Tools and Algorithms for the Construction and Analysis of Systems by Bernd Finkbeiner, Paperback | Indigo Chapters
From Bernd Finkbeiner
Current price: $72.95
Loading Inventory...
Size: 1 x 9.25 x 1
30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III | Tools and Algorithms for the Construction and Analysis of Systems by Bernd Finkbeiner, Paperback | Indigo Chapters