0
Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking > Network security

Buy Now

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 (Paperback, 1st ed. 2019) Loot Price: R1,600
Discovery Miles 16 000
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to...

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 (Paperback, 1st ed. 2019)

Mario S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia

Series: Lecture Notes in Computer Science, 11760

 (sign in to rate)
Loot Price R1,600 Discovery Miles 16 000 | Repayment Terms: R150 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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 tenacity in solving technical problems. They also reflect the breadth and impact of her work. Her scientific interests include, in chronological order, principles of programming languages, concurrency theory, security, and privacy.

General

Imprint: Springer Nature Switzerland AG
Country of origin: Switzerland
Series: Lecture Notes in Computer Science, 11760
Release date: September 2019
First published: 2019
Editors: Mario S. Alvim • Kostas Chatzikokolakis • Carlos Olarte • Frank Valencia
Dimensions: 235 x 155mm (L x W)
Format: Paperback
Pages: 461
Edition: 1st ed. 2019
ISBN-13: 978-3-03-031174-2
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > Computer communications & networking > Network security
Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-03-031174-0
Barcode: 9783030311742

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Partners