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)

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)

by Frank Valencia (Editor), Mário S. Alvim (Editor), Carlos Olarte (Editor), Kostas Chatzikokolakis (Editor)

$76.58

Save:$5.56 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 495
Edition: 1st ed. 2019
Publisher: Springer
Published: 12 Sep 2019

ISBN 10: 3030311740
ISBN 13: 9783030311742