ISBN 3319899597 books & textbook

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)

Beyer, Dirk Huisman, Marieke

Springer /2018-04-12 Paperback / 449 Pages
isbn-10: 3319899597 / isbn-13: 9783319899596