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 (Record no. 60166)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02501naaaa2200517uu 4500 |
| 001 - CONTROL NUMBER | |
| control field | https://directory.doabooks.org/handle/20.500.12854/26681 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 978-3-319-89960-2 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783319899602 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-319-89960-2 |
| Terms of availability | doi |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | English |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | dc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UY |
| Source | bicssc |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Beyer, Dirk |
| Relationship | edt |
| 245 10 - TITLE STATEMENT | |
| 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 |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cham |
| Name of publisher, distributor, etc. | Springer Nature |
| Date of publication, distribution, etc. | 2018 |
| 506 0# - RESTRICTIONS ON ACCESS NOTE | |
| Terms governing access | Open Access |
| Source of term | star |
| Standardized terminology for access restriction | Unrestricted online access |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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 |
| 540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE | |
| Terms governing use and reproduction | Creative Commons |
| Use and reproduction rights | https://creativecommons.org/licenses/by/4.0/ |
| Source of term | cc |
| -- | https://creativecommons.org/licenses/by/4.0/ |
| 546 ## - LANGUAGE NOTE | |
| Language note | English |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Computer science |
| Source of heading or term | bicssc |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | authentication |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | computer science |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | computer software selection and evaluation |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | cryptography |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | data privacy |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | formal logic |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | formal methods |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | formal specification |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | internet |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | privacy |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | program compilers |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | programming languages |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | security systems |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | semantics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | separation logic |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | software engineering |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | verification |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | world wide web |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Huisman, Marieke |
| Relationship | edt |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Beyer, Dirk |
| Relationship | oth |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Huisman, Marieke |
| Relationship | oth |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf">https://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf</a> |
| Access status | 0 |
| Public note | DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf">https://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf</a> |
| Access status | 0 |
| Public note | DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf">https://library.oapen.org/bitstream/20.500.12657/27701/1/1002305.pdf</a> |
| Access status | 0 |
| Public note | DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://directory.doabooks.org/handle/20.500.12854/26681">https://directory.doabooks.org/handle/20.500.12854/26681</a> |
| Access status | 0 |
| Public note | DOAB: description of the publication |
No items available.