The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

Format:: e-book
Title:: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Author:: Alvim; Chatzikokolakis, Kostas; Olarte, Carlos; Valencia, Frank
Language:: English
Publisher:: Springer International Publishing 2019
ISBN:: 3-030-31174-0
3-030-31175-9
Permalink:: http://bibtest.howest.be/catalog/ebk03:4100000009759209?locale=en