Produktnummer:
182eeeab935c894ef1b4ad15f988f50247
| Themengebiete: | artificial intelligence computer programming databases data security formal logic linguistics model checking parallel processing systems program compilers programming languages |
|---|---|
| Veröffentlichungsdatum: | 27.11.2020 |
| EAN: | 9783030644369 |
| Sprache: | Englisch |
| Seitenzahl: | 374 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Oliveira, Bruno C. d. S. |
| Verlag: | Springer International Publishing |
| Untertitel: | 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings |
Produktinformationen "Programming Languages and Systems"
This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. * The conference was held virtually due to the COVID-19 pandemic.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen