Opening book details…
Can I read Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice ... Science and General Issues Book 10801) on EtoBox?
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice ... Science and General Issues Book 10801) by Amal Ahmed [Amal Ahmed] is a nonfiction available to read on EtoBox.
What is Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice ... Science and General Issues Book 10801) about?
<p>This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.<br></p>
Who reads Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice ... Science and General Issues Book 10801)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Amal Ahmed [Amal Ahmed]
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2018
- Language
- EN
- ISBN
- 9783319898834
- Category
- nonfiction
- Subjects
- Mathematics, Computer Science, Stem
Other editions & translations
More by Amal Ahmed [Amal Ahmed]
Browse all works by Amal Ahmed [Amal Ahmed]
Similar books
- Programming Languages and Systems : 18th European Symposium on Programming, ESOP 2009, Held As Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings — Philip Wadler, Robert Bruce Findler (auth.), Giuseppe Castagna (2009)
- Programming languages and systems : 25th European Symposium on Programming, ESOP 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings — Peter Thiemann (2016)
- Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings — Nobuko Yoshida (2021)
- Programming languages and systems : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings — Scott Owens (auth.), Sophia Drossopoulou (2008)
- Programming Languages and Systems : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : Proceedings — Sam Lindley, Philip Wadler (auth.), Andrew D. Gordon (2010)
- Programming Languages and Systems [recurso electrónico] 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings — Zhong Shao (2014)