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 / Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
2019
QA76.7 .A78 2019
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
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 / Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
ISBN
9783030311759 (electronic book)
3030311759 (electronic book)
9783030311742
3030311759 (electronic book)
9783030311742
Published
Cham : Springer, [2019]
Language
English
Description
1 online resource (485 pages).
Call Number
QA76.7 .A78 2019
Dewey Decimal Classification
005.13
Access Note
Access limited to authorized users.
Source of Description
Description based on print version record.
Description based on online resource; title from digital title page (viewed on December 06, 2019).
Description based on online resource; title from digital title page (viewed on December 06, 2019).
Series
Lecture notes in computer science ; 11760.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Available in Other Form
Linked Resources
Record Appears in