All 1 Bernhard Steffen-Marieke Huisman-Fabrice Kordo... Book
Categories
Other
Support
USD
In stock at iMusic
Show unavailable items
![Cover for Bernhard Steffen-Marieke Huisman-Fabrice Kordon-Di · Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III - Lecture Notes in Computer Science (Paperback Book) [2019 edition] (2019)](https://imusic.b-cdn.net/images/item/original/016/9783030175016.jpg?bernhard-steffen-marieke-huisman-fabrice-kordon-di-2019-tools-and-algorithms-for-the-construction-and-analysis-of-systems-25-years-of-tacas-toolympics-held-as-part-of-etaps-2019-prague-czech-republic-april-6-11-2019-proceedings-part-iii-lecture-notes-in-co&class=scaled&v=1608830973)