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
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...
Saved in:
| 格式: | Online |
|---|---|
| 語言: | 英语 |
| 出版: |
Springer Nature
2021
|
| 主題: | |
| 在線閱讀: | 1002305 |
| 標簽: |
沒有標簽, 成為第一個標記此記錄!
|
| _version_ | 1869526426681606144 |
|---|---|
| collection | Directory of Open Access Books |
| 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 |
| format | Online |
| id | doab-20.500.12854ir-26681 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-266812024-04-14T10:28:05Z 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 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 2021-02-10T12:58:18Z 2018-11-01 23:55:55 2020-03-18 13:36:15 2020-04-01T12:00:27Z 2018 book 1002305 OCN: 1031399644 http://library.oapen.org/handle/20.500.12657/27701 9783319899602 https://directory.doabooks.org/handle/20.500.12854/26681 eng Theoretical Computer Science and General Issues open access image/jpeg image/jpeg image/jpeg image/jpeg Attribution 4.0 International Attribution 4.0 International Attribution 4.0 International Attribution 4.0 International https://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf https://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf https://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf https://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf Springer Nature 10.1007/978-3-319-89960-2 10.1007/978-3-319-89960-2 9fa3421d-f917-4153-b9ab-fc337c396b5a 9783319899602 Cham open access |
| spellingShingle | 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 thema EDItEUR::U Computing and Information Technology::UY Computer science 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 |
| title | 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 |
| title_full | 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 |
| title_fullStr | 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 |
| title_full_unstemmed | 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 |
| title_short | 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 |
| title_sort | 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 |
| topic | 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 thema EDItEUR::U Computing and Information Technology::UY Computer science |
| topic_facet | 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 thema EDItEUR::U Computing and Information Technology::UY Computer science |
| url | 1002305 |