Text

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

---

Buku akses terbuka ini merupakan hasil dari Simposium Eropa ke-27 tentang Pemrograman, ESOP 2018, yang berlangsung di Thessaloniki, Yunani pada bulan April 2018, yang diselenggarakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2018. 36 makalah yang disajikan dalam volume ini ditinjau dengan cermat dan dipilih dari 114 kiriman. Makalah-makalah tersebut disusun dalam beberapa bagian topik yang diberi nama: desain bahasa; pemrograman probabilistik; jenis dan efek; konkurensi; keamanan; verifikasi program; analisis program dan verifikasi otomatis; jenis sesi dan konkurensi; konkurensi dan distribusi; dan verifikasi kompiler.

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

005.13 AHM p

Publisher

Heidelberg, Jerman : Springer International Publishing., 2018

Collation

XVI, 1058

Language

English

ISBN/ISSN

978-3-319-89884-1

Classification

005.13

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

1

Subject(s)

Programming Languages
Bahasa Pemrograman

Specific Detail Info

-

Statement of Responsibility

Amal Ahmed

Other Information

Cataloger

Kholif Basri

Source

https://link.springer.com/10.1007/978-3-319-89884-1

Validator

erwin

Digital Object Identifier (DOI)

https://doi.org/10.1007/978-3-319-89884-1

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment