Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2018, Thessaloniki, Greece, April 14-20, 2018...
by Beyer, Dirk (Editor), and Huisman, Marieke (Editor)
Add this copy of Tools and Algorithms for the Construction and Analysis to cart. $56.35, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2018 by Springer.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2018, Thessaloniki, Greece, April 14-20, 2018...
by Beyer, Dirk (Editor), and Huisman, Marieke (Editor)
Add this copy of Tools and Algorithms for the Construction and Analysis to cart. $76.28, new condition, Sold by Ria Christie Books rated 5.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2018 by Springer.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, Tacas 2018, Held as Part of the European Joint...Computer Science and General Issues)
Add this copy of Tools and Algorithms for the Construction and Analysis to cart. $85.77, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2018 by Springer.