{"product_id":"art-of-modelling-computational-systems-a-journey-from-logic-and-concurrency-to-security-and-privacy-springer-nature-switzerland-ag-9783030311742-essays-dedicated-to-catuscia-palamidessi-on-the-occasion-of-her-60th-birthday-m-rio-s-alvim","title":"Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy","description":"\u003cp\u003eDiscover the profound insights within \u003cstrong\u003eThe Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy\u003c\/strong\u003e by Mário S. Alvim, published by Springer Nature Switzerland AG in 2019. This comprehensive volume spans 461 pages and serves as a Festschrift honoring the esteemed Catuscia Palamidessi on her 60th birthday.\u003c\/p\u003e \n\n\u003cp\u003eFeaturing six laudations and 25 scholarly papers contributed by close collaborators and friends, this book delves into the intricate realms of computational systems. It explores essential themes such as logic, concurrency, security, and privacy, making it an invaluable resource for researchers and practitioners alike. Enhance your understanding of modern computational theories and practices with this essential addition to your library.\u003c\/p\u003e \n\n\u003cp\u003eWhether you are a student, educator, or professional in the field, this book offers a wealth of knowledge that is both engaging and informative. Don't miss the opportunity to explore the cutting-edge discussions that shape the future of computational systems.\u003c\/p\u003e","brand":"Mário S. Alvim","offers":[{"title":"Default Title","offer_id":52251828814166,"sku":"9783030311742","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030311742.jpg?v=1767779529","url":"https:\/\/www.bookshop.lt\/products\/art-of-modelling-computational-systems-a-journey-from-logic-and-concurrency-to-security-and-privacy-springer-nature-switzerland-ag-9783030311742-essays-dedicated-to-catuscia-palamidessi-on-the-occasion-of-her-60th-birthday-m-rio-s-alvim","provider":"Bookshop","version":"1.0","type":"link"}