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

Type:: e-book
Titel:: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Auteur:: Alvim; Chatzikokolakis, Kostas; Olarte, Carlos; Valencia, Frank
Taal:: Engels
Uitgever:: Springer International Publishing 2019
ISBN:: 3-030-31174-0
3-030-31175-9
Permalink:: http://bibtest.howest.be/catalog/ebk03:4100000009759209