ISBN 9783030311742 books & textbook
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on ... Computer Science and General Issues)
Alvim, Mário S. Chatzikokolakis, Kostas Olarte, Carlos Valencia, Frank
Springer /2019-09-12 Paperback / 496 Pages
isbn-10: 3030311740 / isbn-13: 9783030311742
