Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Material type: ArticleLanguage: English Series: Theoretical Computer Science and General Issues Series ; v.10801Publication details: Cham Springer Nature 2018Content type:- text
- computer
- online resource
- 9783319898841
Item type | Current library | Collection | Shelving location | Call number | Vol info | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|---|---|
Electronic edition | Bucheon University Library | Computers | OAPEN | 004 T44 v.10801 | v.10801 | Not for loan | Смотреть (pdf) | 1010486 |
Open Access star Unrestricted online access
artificial intelligence; computer architecture; computer software selection and evaluation; distributed computer systems; formal logic; formal model; java; model checking; processors; program compilers; program verification; programming language; semantics; separation logic; software engineering specifications; theorem proving; type; systems verification
Creative Commons https://creativecommons.org/licenses/by/4.0/ cc
English
There are no comments on this title.