Programming Languages and Systems

Name: Programming Languages and Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642171635
Price: 56.94 EUR
Availability: InStock

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

Автор: Kazunori Ueda

Език:

Корици: С меки корици

Издател: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Наличност: Външен склад

Изпращаме след 9-15 дни

56.94 € 111.37 лв

The 23 papers presented together with 4 invited papers 2 system and tool presentations and 1 tutoria...

Информация за книгата

Автор

Kazunori Ueda

Език

Английски език

Корици

Книга - С меки корици

Издадена

2010

страници

440

EAN

9783642171635

ISBN

364217163X

Enbook ID

01657024

Издател

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Теглоt

708

Размери

157 x 236 x 33

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Programming Languages and Systems

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

Информация за книгата

Пълно описание

Може също да ви хареса

Tumor Aneuploidy

Multi-Digit Multiplication Maths Workbook for Kids Ages 9-13 | Multiplying 2 Digit, 3 Digit, and 4 Digit Numbers| 110 Timed Maths Test Drills with Sol

True Crime File

Kahlo

How to Practice Suggestion and Autosuggestion

Women in STEM: Picking up STEAM

Eminent Baha'is in the Time of Baha'u'llah

From Practice to Theory

Gas-Phase Combustion Chemistry

Thought's Footing

In Pursuit of Sanity

Imperial Culture in Antipodean Cities, 1880-1939

Wizard of Oz

Rotifer Symposium IV

Клиенти, които купиха тази книга, купиха също

Connie, der Container

Stattmord

Kudüsün Yikilisi Yahudi Roma Savaslari

English Tea Shop Čaj Premium Holiday Collection bio vánoční modrá 54 g, 36 ks