Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783319265285
- Se flere detaljer ▼
Bemærk: Kan ikke leveres før jul.
Beskrivelse
The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2015 |
| Udgivelsesdato | 10-12-2015 |
| Første udgivelsesår | 2015 |
| Serie | Programming and Software Engineering |
| Illustrationer | 133 Illustrations, color; XIX, 506 p. 133 illus. in color. |
| Fagredaktør | Xinyu Feng, Sungwoo Park |
| Originalsprog | Switzerland |
| Sideantal | 506 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 506 pages, 133 Illustrations, color; XIX, 506 p. 133 illus. in color. |
| Mål | 235 x 155 |
| ISBN-13 / EAN-13 | 9783319265285 |