Amazon cover image
Image from Amazon.com

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

By: Material type: ArticleArticleLanguage: English Series: Theoretical Computer Science and General Issues Series ; v.10801Publication details: Cham Springer Nature 2018Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783319898841
Subject(s): Online resources: Summary: 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
List(s) this item appears in: Faculty Informational Technology
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
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.

to post a comment.