Mohlo by se vám také líbit

Více informací o knize Programming Languages and Systems

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 136 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general

• Plný název: Programming Languages and Systems
• Podnázev: 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings
• Autor: Kazunori Ueda
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 440
• EAN: 9783642171635
• ISBN: 364217163X
• ID: 01657024
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 708 g
• Rozměry: 236 × 157 × 33 mm
• Datum vydání: 05. November 2010

Oblíbené z jiného soudku

---

---

---