| 000 | 00935nam a22002297a 4500 | ||
|---|---|---|---|
| 003 | ZET-ke | ||
| 005 | 20220127093457.0 | ||
| 008 | 220127b ||||| |||| 00| 0 eng d | ||
| 020 | _a9783030311742 | ||
| 040 |
_aDLC _beng _cDLC _dZET-ke |
||
| 050 |
_aQA76.7 _b.A48 2019 |
||
| 245 |
_aThe art of modelling computational systems : _ba journey from logic and concurrency to security and privacy / _cedited by Mario S. Alvim, Kostas Chatzikokolakis, Carlos Olarte [and] Frank Valencia. |
||
| 260 |
_aBrazil : _bSpringer, _cc2019. |
||
| 300 |
_axxxiv, 459p. ; _c24 cm. |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 505 | _aConcurrency -- Logic and constraint programming -- Security and privacy -- Models and puzzles. | ||
| 700 |
_aAlvim, Mario S. _4editor |
||
| 700 |
_aChatzikokolakis, Kostas _4editor |
||
| 700 |
_aOlarte, Carlos _4editor |
||
| 700 |
_aValencia, Frank _4editor |
||
| 942 |
_2lcc _cBK _kQA76.7 _m.A48 2019 |
||
| 999 |
_c5023 _d5023 |
||