The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on ... in Computer Science (11760), Band 11760)

Computational

von: Mário S. Alvim · Kostas Chatzikokolakis · Carlos Olarte · Frank Valencia

Taschenbuch

ISBN-13: 978-3-030-31174-2

ISBN-10: 3-030-31174-0

Springer · September 2019