Kniha Programming Languages and Systems Kazunori Ueda

Programming Languages and Systems

8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Autor: Kazunori Ueda
Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 9-15 dní
54.45
The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutoria...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2010
Stránok
440
EAN
9783642171635
ISBN
364217163X
Enbook ID
01657024
Hmotnosť
708
Rozmery
157 x 236 x 33

Kompletný popis

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutorial lecture were carefully reviewed and selected from 95 initial submissions. The papers are devoted to both foundational and practical issues in programming languages and systems and feature current research in the following areas: semantics, logics, foundational theory, design of languages and foundational calculi, type systems, compilers, interpreters, abstract machines, program derivation, analysis, transformation, software security, safety, verification, concurrency, constraints, domain-specific languages, as well as tools for programming, verification, and implementation.

Mohlo by vás zaujímať

Tumor Aneuploidy

Clara D. Bloomfield
54.26
12.08

Kahlo

Eckhard Hollmann
11.39
17.78
58.29
167.90

Thought's Footing

Charles Travis
49.14

In Pursuit of Sanity

Lavinia Lynn Reynolds
18.47

Wizard of Oz

William Stillman
29.68
210.27

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

15.72

Stattmord

M. C. Poets
12.28
10.90