The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
M�rio S. Alvim
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Springer Nature 2019 - Lecture Notes in Computer Science .
9783030311759
Computer Science
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Springer Nature 2019 - Lecture Notes in Computer Science .
9783030311759
Computer Science