ISBN 3030175014 books & textbook
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... Computer Science and General Issues)
Beyer, Dirk Huisman, Marieke Kordon, Fabrice Steffen, Bernhard
Springer /2019-04-04 Paperback / 285 Pages
isbn-10: 3030175014 / isbn-13: 9783030175016
