| 000 | 02501naaaa2200517uu 4500 | ||
|---|---|---|---|
| 001 | https://directory.doabooks.org/handle/20.500.12854/26681 | ||
| 020 | _a978-3-319-89960-2 | ||
| 020 | _a9783319899602 | ||
| 024 | 7 |
_a10.1007/978-3-319-89960-2 _cdoi |
|
| 041 | 0 | _aEnglish | |
| 042 | _adc | ||
| 072 | 7 |
_aUY _2bicssc |
|
| 100 | 1 |
_aBeyer, Dirk _4edt |
|
| 700 | 1 |
_aHuisman, Marieke _4edt |
|
| 700 | 1 |
_aBeyer, Dirk _4oth |
|
| 700 | 1 |
_aHuisman, Marieke _4oth |
|
| 245 | 1 | 0 | _aTools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I |
| 260 |
_aCham _bSpringer Nature _c2018 |
||
| 506 | 0 |
_aOpen Access _2star _fUnrestricted online access |
|
| 520 | _aauthentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security systems; semantics; separation logic; software engineering; verification; world wide web | ||
| 540 |
_aCreative Commons _fhttps://creativecommons.org/licenses/by/4.0/ _2cc _4https://creativecommons.org/licenses/by/4.0/ |
||
| 546 | _aEnglish | ||
| 650 | 7 |
_aComputer science _2bicssc |
|
| 653 | _aauthentication | ||
| 653 | _acomputer science | ||
| 653 | _acomputer software selection and evaluation | ||
| 653 | _acryptography | ||
| 653 | _adata privacy | ||
| 653 | _aformal logic | ||
| 653 | _aformal methods | ||
| 653 | _aformal specification | ||
| 653 | _ainternet | ||
| 653 | _aprivacy | ||
| 653 | _aprogram compilers | ||
| 653 | _aprogramming languages | ||
| 653 | _asecurity systems | ||
| 653 | _asemantics | ||
| 653 | _aseparation logic | ||
| 653 | _asoftware engineering | ||
| 653 | _averification | ||
| 653 | _aworld wide web | ||
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf _70 _zDOAB: download the publication |
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf _70 _zDOAB: download the publication |
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf _70 _zDOAB: download the publication |
| 856 | 4 | 0 |
_awww.oapen.org _uhttps://directory.doabooks.org/handle/20.500.12854/26681 _70 _zDOAB: description of the publication |
| 999 |
_c60166 _d60166 |
||