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

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 e...

Volledige beschrijving

Bewaard in:
Bibliografische gegevens
Hoofdauteur: Ahmed, Amal (auth)
Formaat: Elektronisch Hoofdstuk
Taal:Engels
Gepubliceerd in: Cham Springer Nature 2018
Reeks:Theoretical Computer Science and General Issues Series 10801
Onderwerpen:
Online toegang:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Voeg label toe
Geen labels, Wees de eerste die dit record labelt!

MARC

LEADER 00000naaaa2200000uu 4500
001 oapen_2024_20_500_12657_27740
005 20181101
003 oapen
006 m o d
007 cr|mn|---annan
008 20181101s2018 xx |||||o ||| 0|eng d
020 |a 978-3-319-89884-1 
020 |a 9783319898841 
040 |a oapen  |c oapen 
024 7 |a 10.1007/978-3-319-89884-1  |c doi 
041 0 |a eng 
042 |a dc 
072 7 |a UY  |2 bicssc 
100 1 |a Ahmed, Amal  |4 auth 
245 1 0 |a 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 |a Cham  |b Springer Nature  |c 2018 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Theoretical Computer Science and General Issues Series  |v 10801 
506 0 |a Open Access  |2 star  |f Unrestricted online access 
520 |a 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 |a Creative Commons  |f https://creativecommons.org/licenses/by/4.0/  |2 cc  |4 https://creativecommons.org/licenses/by/4.0/ 
546 |a English 
650 7 |a Computer science  |2 bicssc 
653 |a artificial intelligence 
653 |a computer architecture 
653 |a computer software selection and evaluation 
653 |a distributed computer systems 
653 |a formal logic 
653 |a formal model 
653 |a java 
653 |a model checking 
653 |a processors 
653 |a program compilers 
653 |a program verification 
653 |a programming language 
653 |a semantics 
653 |a separation logic 
653 |a software engineering specifications 
653 |a theorem proving 
653 |a type 
653 |a systems verification 
856 4 0 |a www.oapen.org  |u https://library.oapen.org/bitstream/id/d63d150b-756d-4a67-b5c2-04eaa312e821/1002265.pdf  |7 0  |z OAPEN Library: download the publication 
856 4 0 |a www.oapen.org  |u http://library.oapen.org/handle/20.500.12657/27740  |7 0  |z OAPEN Library: description of the publication