1002198.pdf
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
| Γλώσσα: | English |
|---|---|
| Έκδοση: |
Springer Nature
2018
|
| Διαθέσιμο Online: | https://link.springer.com/book/10.1007/978-3-319-89366-2 |
| id |
oapen-20.500.12657-27807 |
|---|---|
| record_format |
dspace |
| spelling |
oapen-20.500.12657-278072024-03-23T11:30:12Z 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 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 2018-11-01 23:55:55 2020-03-18 13:36:15 2020-04-01T12:03:58Z 2020-04-01T12:03:58Z 2018 book 1002198 OCN: 1031399785 9783319893662 http://library.oapen.org/handle/20.500.12657/27807 eng Theoretical Computer Science and General Issues application/pdf Attribution 4.0 International 1002198.pdf https://link.springer.com/book/10.1007/978-3-319-89366-2 Springer Nature 10.1007/978-3-319-89366-2 10.1007/978-3-319-89366-2 6c6992af-b843-4f46-859c-f6e9998e40d5 9783319893662 Cham open access |
| institution |
OAPEN |
| collection |
DSpace |
| language |
English |
| 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 |
| title |
1002198.pdf |
| spellingShingle |
1002198.pdf |
| title_short |
1002198.pdf |
| title_full |
1002198.pdf |
| title_fullStr |
1002198.pdf |
| title_full_unstemmed |
1002198.pdf |
| title_sort |
1002198.pdf |
| publisher |
Springer Nature |
| publishDate |
2018 |
| url |
https://link.springer.com/book/10.1007/978-3-319-89366-2 |
| _version_ |
1799945240153423872 |
