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 168 bodů

Anotace knihy

This book constitutes the refereed proceedings of the 15th European Symposium on Programming, ESOP 2006, held in Vienna, Austria in March 2006 as part of ETAPS.§The 21 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 87 submissions. The papers address fundamental issues in the specification, analysis, and implementation of programming languages and systems; they are organized in topical sections on types for implementations, proof and types, verification and reasoning, security and distribution, analysis and verification, and connecting to the world.

Parametry knihy

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

• Plný název: Programming Languages and Systems
• Podnázev: 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European
• Autor: Peter Sestoft
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 342
• EAN: 9783540330950
• ISBN: 354033095X
• ID: 01561842
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 1120 g
• Rozměry: 235 × 155 × 24 mm
• Datum vydání: 16. March 2006

Oblíbené z jiného soudku

---

---

---