Programming Languages and Systems
16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.
The 22 papers presented in this volume were carefully reviewed and selected from 51...
The 22 papers presented in this volume were carefully reviewed and selected from 51...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
53.49 €
Produktdetails
Produktinformationen zu „Programming Languages and Systems “
Klappentext zu „Programming Languages and Systems “
This book constitutes the proceedings of the 16th Asian Symposium on Programming Languages and Systems, APLAS 2018, held in Wellington, New Zealand, in December 2018.The 22 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are organized in topical sections named: types; program analysis; tools; functional programs and probabilistic programs; verification; logic; and continuation and model checking.
Inhaltsverzeichnis zu „Programming Languages and Systems “
Types.- Program Analysis.- Tools.- Functional Programs and Probabilistic Programs.- Verification.- Logic.- Continuation and Model Checking.
Bibliographische Angaben
- 2018, 1st ed. 2018, 437 Seiten, Maße: 16,6 x 23,6 cm, Kartoniert (TB), Englisch
- Herausgegeben: Sukyoung Ryu
- Verlag: Springer, Berlin
- ISBN-10: 3030027678
- ISBN-13: 9783030027674
Sprache:
Englisch
Kommentar zu "Programming Languages and Systems"
0 Gebrauchte Artikel zu „Programming Languages and Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Programming Languages and Systems".
Kommentar verfassen