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 II
computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification
Պահպանված է:
| Ձևաչափ: | Online |
|---|---|
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
Springer Nature
2021
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | 1002306 |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
| _version_ | 1869522322261540864 |
|---|---|
| collection | Directory of Open Access Books |
| description | computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification |
| format | Online |
| id | doab-20.500.12854ir-28560 |
| 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-285602024-04-14T10:28:04Z 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 II Beyer, Dirk Huisman, Marieke computer architecture computer software selection and evaluation formal logic formal methods model checker model checking multi core processors program compilers programming languages semantics software engineering specifications state space verification thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification 2021-02-10T12:58:18Z 2018-11-01 23:55:55 2020-03-18 13:36:15 2020-04-01T12:00:24Z 2018 book 1002306 OCN: 1031399710 http://library.oapen.org/handle/20.500.12657/27700 9783319899633 https://directory.doabooks.org/handle/20.500.12854/28560 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/27700/1/1002306.pdf https://library.oapen.org/bitstream/20.500.12657/27700/1/1002306.pdf https://library.oapen.org/bitstream/20.500.12657/27700/1/1002306.pdf https://library.oapen.org/bitstream/20.500.12657/27700/1/1002306.pdf Springer Nature 10.1007/978-3-319-89963-3 10.1007/978-3-319-89963-3 9fa3421d-f917-4153-b9ab-fc337c396b5a 9783319899633 Cham open access |
| spellingShingle | computer architecture computer software selection and evaluation formal logic formal methods model checker model checking multi core processors program compilers programming languages semantics software engineering specifications state space verification 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 II |
| 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 II |
| 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 II |
| 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 II |
| 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 II |
| 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 II |
| 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 ii |
| topic | computer architecture computer software selection and evaluation formal logic formal methods model checker model checking multi core processors program compilers programming languages semantics software engineering specifications state space verification thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science |
| topic_facet | computer architecture computer software selection and evaluation formal logic formal methods model checker model checking multi core processors program compilers programming languages semantics software engineering specifications state space verification thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science |
| url | 1002306 |