![The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday](https://dl.bookem.ir/covers/ISBN13/9783030311759.jpg)
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday
فرمت کتاب
print book
زبان
english
تاریخ انتشار
2019
نویسنده
Mário S Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia; SpringerLink (Online service)نویسنده
Mário S Alvim; Kostas Chatzikokolakis; Carlos Olarte; Frank Valencia; SpringerLink (Online service)شابک
9783030311759
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران