Book Your Summer Shop NowBook Your Summer Shop Now
Add Item to wish listAdd Item to wish list
Read sample

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

By Mário S. Alvim (Editor), Kostas Chatzikokolakis (Editor), Carlos Olarte (Editor), Frank Valencia (Editor)
eBook
$54.99
By Mário S. Alvim (Editor), Kostas Chatzikokolakis (Editor), Carlos Olarte (Editor), Frank Valencia (Editor)
Formats

Available on compatible , the free NOOK App, and in My Digital Library

NOOK App

Download NOOK app

NOOK Devices

NOOK eReaders

  • NOOK GlowLight 4 Plus
  • NOOK GlowLight 4e
  • NOOK GlowLight 4
  • NOOK GlowLight Plus 7.8"
  • NOOK GlowLight 3
  • NOOK GlowLight Plus 6"

NOOK Tablets

  • NOOK 9" Lenovo Tablet
  • NOOK 10" HD Lenovo Tablet
  • NOOK Tablet 7" & 10.1"
  • NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
  • NOOK by Samsung [Tab 4 10.1, S2 & E]

Free NOOK Reading Apps

  • NOOK for iOS
  • NOOK for Android

BN.com website

Go to your Digital Library in My Account

​​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. The papers are organized in topical sections named: concurrency; logic and constraint programming; security and privacy; and models and puzzles.

These contributions are a tribute to Catuscia Palamidessi’s intellectual depth, vision, passion for science, and tena...

Categories

ComputersComputers - General & MiscellaneousGeneral & Miscellaneous Computing