TY  - BOOK
AU  - Ahmed, Amal
AB  - 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
DO  - 10.1007/978-3-319-89884-1
ID  - OAPEN ID: 1002265
ID  - OAPEN ID: OCN: 1031400010
KW  - artificial intelligence
KW  - computer architecture
KW  - computer software selection and evaluation
KW  - distributed computer systems
KW  - formal logic
KW  - formal model
KW  - java
KW  - model checking
KW  - processors
KW  - program compilers
KW  - program verification
KW  - programming language
KW  - semantics
KW  - separation logic
KW  - software engineering specifications
KW  - theorem proving
KW  - type
KW  - systems verification
L1  - https://library.oapen.org/bitstream/id/d63d150b-756d-4a67-b5c2-04eaa312e821/1002265.pdf
LA  - English
LK  - http://library.oapen.org/handle/20.500.12657/27740
PB  - Springer Nature
PP  - Cham
PY  - 2018
SN  - 9783319898841
TI  - 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, Proceedingsnull
ER  - 
