The art of modelling computational systems : a journey from logic and concurrency to security and privacy / edited by Mario S. Alvim, Kostas Chatzikokolakis, Carlos Olarte [and] Frank Valencia.
Material type: TextPublication details: Brazil : Springer, c2019.Description: xxxiv, 459p. ; 24 cmISBN:- 9783030311742
- QA76.7 .A48 2019
Contents:
Concurrency -- Logic and constraint programming -- Security and privacy -- Models and puzzles.
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Books | Zetech Library - Mang'u General Stacks | Non-fiction | QA76.7 .A48 2019 (Browse shelf(Opens below)) | C.1 | Available | Z009725 |
Includes bibliographical references and index.
Concurrency -- Logic and constraint programming -- Security and privacy -- Models and puzzles.
There are no comments on this title.
Log in to your account to post a comment.