The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
Springer Nature Switzerland AG, 2019
66,50 €On orderDelivery: 2-3 weeks
??This Festschrift was published in honor of Catuscia Palamidessi on the occasion of her 60th birthday. It features 6 laudations, which are available in the front matter of the volume, and 25 papers by close collaborators and friends.
- ISBN-13
- 9783030311742
- ISBN-10
- 3030311740
- Publisher
- Springer Nature Switzerland AG
- Year
- 2019
- Publication date
- 2019-09-12
- Pages
- 461
- Dimensions
- 235x155x