Show simple item record

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

dc.contributor.authorAhmed, Amal
dc.date.accessioned2018-11-01 23:55:55
dc.date.accessioned2020-03-18 13:36:15
dc.date.accessioned2020-04-01T12:01:43Z
dc.date.available2020-04-01T12:01:43Z
dc.date.issued2018
dc.identifier1002265
dc.identifierOCN: 1031400010en_US
dc.identifier.urihttp://library.oapen.org/handle/20.500.12657/27740
dc.description.abstractartificial 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
dc.languageEnglish
dc.relation.ispartofseriesTheoretical Computer Science and General Issues Series
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer scienceen_US
dc.subject.otherartificial intelligence
dc.subject.othercomputer architecture
dc.subject.othercomputer software selection and evaluation
dc.subject.otherdistributed computer systems
dc.subject.otherformal logic
dc.subject.otherformal model
dc.subject.otherjava
dc.subject.othermodel checking
dc.subject.otherprocessors
dc.subject.otherprogram compilers
dc.subject.otherprogram verification
dc.subject.otherprogramming language
dc.subject.othersemantics
dc.subject.otherseparation logic
dc.subject.othersoftware engineering specifications
dc.subject.othertheorem proving
dc.subject.othertype
dc.subject.othersystems verification
dc.titleProgramming 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
dc.typebook
oapen.identifier.doi10.1007/978-3-319-89884-1
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isbn9783319898841
oapen.series.number10801
oapen.place.publicationCham
oapen.identifier.ocn1031400010


Files in this item

Thumbnail
Name:
1002265.pdf
Size:
28.33Mb
Format:
PDF
License:
https://creativecommons.org/li ...
Webshop link:
https://link.springer.com/book ...
View/Open

This item appears in the following Collection(s)

Show simple item record