An edition of Programming Languages and Systems
(2018)
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
by Amal Ahmed
Share
×Close
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
Publish Date
2018
Publisher
Springer Nature
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... Greece, April 14-20, 2018, Proceedings
Oct 08, 2020, Saint Philip Street Press
paperback
1013269888 9781013269882
|
zzzz
|
2
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ...
Apr 15, 2018, Springer
paperback
3319898833 9783319898834
|
zzzz
|
3
|
aaaa
|
Book Details
Edition Notes
Open Access Unrestricted online access
Creative Commons https://creativecommons.org/licenses/by/4.0/
English
External Links
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created November 17, 2020
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| November 17, 2020 | Created by MARC Bot | Imported from marc_oapen MARC record |