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. Cet article n’est pas disponible.
Langue : anglais
Edité par Springer, 2018
- Livre broché
- Occasion
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Vendeur AbeBooks depuis 28 janvier 2020
Etat: Occasion - Comme neuf
EUR 67,01
Item description from seller
N° de réf. du vendeur 32710478
- Titre
- 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
- Auteur
- Ahmed, Amal (EDT)
- Éditeur
- Springer
- Année de publication
- 2018
- État de l'article
- As New
- Reliure
- Couverture souple
- Langue
- anglais
- ISBN à 10 chiffres
- 3319898833
- ISBN à 13 chiffres
- 9783319898834
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.
« Synopsis » peut appartenir à une autre édition de cet ouvrage.