Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

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,580

Discovery Miles 15 800

Repayment Terms: R148 pm x 12*

Add to cart

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,580 Discovery Miles 15 800 | Repayment Terms: R148 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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