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 (Record no. 58633)

MARC details
000 -LEADER
fixed length control field 02441naaaa2200481uu 4500
001 - CONTROL NUMBER
control field https://directory.doabooks.org/handle/20.500.12854/36512
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 978-3-319-89884-1
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9783319898841
024 7# - OTHER STANDARD IDENTIFIER
Standard number or code 10.1007/978-3-319-89884-1
Terms of availability doi
041 0# - LANGUAGE CODE
Language code of text/sound track or separate title English
042 ## - AUTHENTICATION CODE
Authentication code dc
072 #7 - SUBJECT CATEGORY CODE
Subject category code UY
Source bicssc
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Ahmed, Amal
Relationship auth
245 10 - TITLE STATEMENT
Title 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
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cham
Name of publisher, distributor, etc. Springer Nature
Date of publication, distribution, etc. 2018
506 0# - RESTRICTIONS ON ACCESS NOTE
Terms governing access Open Access
Source of term star
Standardized terminology for access restriction Unrestricted online access
520 ## - SUMMARY, ETC.
Summary, etc. 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
540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE
Terms governing use and reproduction Creative Commons
Use and reproduction rights https://creativecommons.org/licenses/by/4.0/
Source of term cc
-- https://creativecommons.org/licenses/by/4.0/
546 ## - LANGUAGE NOTE
Language note English
650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer science
Source of heading or term bicssc
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term artificial intelligence
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term computer architecture
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term computer software selection and evaluation
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term distributed computer systems
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term formal logic
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term formal model
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term java
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term model checking
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term processors
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term program compilers
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term program verification
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term programming language
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term semantics
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term separation logic
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term software engineering specifications
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term theorem proving
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term type
653 ## - INDEX TERM--UNCONTROLLED
Uncontrolled term systems verification
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://library.oapen.org/bitstream/20.500.12657/27740/1/1002265.pdf">https://library.oapen.org/bitstream/20.500.12657/27740/1/1002265.pdf</a>
Access status 0
Public note DOAB: download the publication
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://library.oapen.org/bitstream/20.500.12657/27740/1/1002265.pdf">https://library.oapen.org/bitstream/20.500.12657/27740/1/1002265.pdf</a>
Access status 0
Public note DOAB: download the publication
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://library.oapen.org/bitstream/20.500.12657/27740/1/1002265.pdf">https://library.oapen.org/bitstream/20.500.12657/27740/1/1002265.pdf</a>
Access status 0
Public note DOAB: download the publication
856 40 - ELECTRONIC LOCATION AND ACCESS
Host name www.oapen.org
Uniform Resource Identifier <a href="https://directory.doabooks.org/handle/20.500.12854/36512">https://directory.doabooks.org/handle/20.500.12854/36512</a>
Access status 0
Public note DOAB: description of the publication

No items available.