ISBN 3030720152 books & textbook
Tools and Algorithms for the Construction and Analysis of Systems (Theoretical Computer Science and General Issues)
Groote, Jan Friso Larsen, Kim Guldstrand
Springer /2021-03-20 Paperback / 496 Pages
isbn-10: 3030720152 / isbn-13: 9783030720155
