The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and Privacy
Subtitle: Essays Dedicated to Catuscia Palamidessi on ...
Publisher: Springer
Published: Sep 12, 2019
Format: paperback
Number of pages: 495
ISBN-13: 9783030311742
Notes: Source title: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on ... (Lecture Notes in Computer Science (11760))