Tallenna
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
??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.
- Alaotsikko
- Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
- Toimittaja
- Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
- Painos
- 2019 ed.
- ISBN
- 9783030311742
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 12.9.2019
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 461
