Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings
artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification
Na minha lista:
| Formato: | Online |
|---|---|
| Idioma: | inglês |
| Publicado em: |
Springer Nature
2021
|
| Assuntos: | |
| Acesso em linha: | 1002198 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
| _version_ | 1869520374386917376 |
|---|---|
| collection | Directory of Open Access Books |
| description | artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification |
| format | Online |
| id | doab-20.500.12854ir-31640 |
| 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-316402024-04-14T10:28:04Z Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings Baier, Christel Dal Lago, Ugo artificial intelligence computer software selection and evaluation formal logic graph theory modal logic petri nets program compilers programming language semantics separation logic software engineering theorem proving type systems verification thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation logic; software engineering; theorem proving; type systems; verification 2021-02-10T12:58:18Z 2018-11-01 23:55:55 2020-03-18 13:36:15 2020-04-01T12:03:58Z 2018 book 1002198 OCN: 1031399785 http://library.oapen.org/handle/20.500.12657/27807 9783319893662 https://directory.doabooks.org/handle/20.500.12854/31640 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/27807/1/1002198.pdf https://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf https://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf https://library.oapen.org/bitstream/20.500.12657/27807/1/1002198.pdf Springer Nature 10.1007/978-3-319-89366-2 10.1007/978-3-319-89366-2 9fa3421d-f917-4153-b9ab-fc337c396b5a 9783319893662 Cham open access |
| spellingShingle | artificial intelligence computer software selection and evaluation formal logic graph theory modal logic petri nets program compilers programming language semantics separation logic software engineering theorem proving type systems verification thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings |
| title | Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings |
| title_full | Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings |
| title_fullStr | Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings |
| title_full_unstemmed | Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings |
| title_short | Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings |
| title_sort | foundations of software science and computation structures 21st international conference fossacs 2018 held as part of the european joint conferences on theory and practice of software etaps 2018 thessaloniki greece april 14 20 2018 proceedings |
| topic | artificial intelligence computer software selection and evaluation formal logic graph theory modal logic petri nets program compilers programming language semantics separation logic software engineering theorem proving type systems verification thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science |
| topic_facet | artificial intelligence computer software selection and evaluation formal logic graph theory modal logic petri nets program compilers programming language semantics separation logic software engineering theorem proving type systems verification thema EDItEUR::U Computing and Information Technology::UY Computer science thema EDItEUR::U Computing and Information Technology::UY Computer science |
| url | 1002198 |