The Art of Modelling Computational Systems: a Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on
by Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia Paperback 2019
- Author: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
- ISBN 13: 9783030311742
- ISBN 10: 3030311740
- Publication Year: 2019
- Language: English
Specifications
| Index-10 | 3030311740 |
|---|---|
| Index-13 | 9783030311742 |
| Language | English |