1002305.pdf
authentication; 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 engineerin...
| Γλώσσα: | English |
|---|---|
| Έκδοση: |
Springer Nature
2018
|
| Διαθέσιμο Online: | https://link.springer.com/book/10.1007/978-3-319-89960-2 |
| id |
oapen-20.500.12657-27701 |
|---|---|
| record_format |
dspace |
| spelling |
oapen-20.500.12657-277012024-03-23T11:30:10Z Tools 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 Beyer, Dirk Huisman, Marieke authentication 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 thema EDItEUR::U Computing and Information Technology::UY Computer science authentication; 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 2018-11-01 23:55:55 2020-03-18 13:36:15 2020-04-01T12:00:27Z 2020-04-01T12:00:27Z 2018 book 1002305 OCN: 1031399644 9783319899602 http://library.oapen.org/handle/20.500.12657/27701 eng Theoretical Computer Science and General Issues application/pdf Attribution 4.0 International 1002305.pdf https://link.springer.com/book/10.1007/978-3-319-89960-2 Springer Nature 10.1007/978-3-319-89960-2 10.1007/978-3-319-89960-2 6c6992af-b843-4f46-859c-f6e9998e40d5 9783319899602 10805 Cham open access |
| institution |
OAPEN |
| collection |
DSpace |
| language |
English |
| description |
authentication; 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 |
| title |
1002305.pdf |
| spellingShingle |
1002305.pdf |
| title_short |
1002305.pdf |
| title_full |
1002305.pdf |
| title_fullStr |
1002305.pdf |
| title_full_unstemmed |
1002305.pdf |
| title_sort |
1002305.pdf |
| publisher |
Springer Nature |
| publishDate |
2018 |
| url |
https://link.springer.com/book/10.1007/978-3-319-89960-2 |
| _version_ |
1799945197169147904 |
