|
|
|
|
| LEADER |
01806naaaa2200433uu 4500 |
| 001 |
27740 |
| 005 |
20181101 |
| 020 |
|
|
|a 978-3-319-89884-1
|
| 020 |
|
|
|a 9783319898841
|
| 024 |
7 |
|
|a 10.1007/978-3-319-89884-1
|c doi
|
| 041 |
0 |
|
|h English
|
| 042 |
|
|
|a dc
|
| 100 |
1 |
|
|a Ahmed, Amal
|e 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
|
| 856 |
|
|
|z Get fulltext
|u http://library.oapen.org/handle/20.500.12657/27740
|
| 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
|
| 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
|
