Mohlo by se vám také líbit

Více informací o knize Theoretical Aspects of Computing - ICTAC 2005

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

Nákupem získáte 331 bodů

Anotace knihy

This book constitutes the refereed proceedings of the Second International Colloquium on Theoretical Aspects of Computing, ICTAC 2005 held in Hanoi, Vietnam, in October 2005.§The 35 revised full papers presented together with 5 invited talks and a summary of 5 tutorials were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, object-orientation and component systems, model-checking and algorithms, and applied logics and computing theory.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science

• Plný název: Theoretical Aspects of Computing - ICTAC 2005
• Podnázev: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
• Autor: Dang Van Hung, Martin Wirsing
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 618
• EAN: 9783540291077
• ISBN: 3540291075
• ID: 01561192
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 1940 g
• Rozměry: 229 × 152 × 34 mm
• Datum vydání: 04. October 2005

Oblíbené z jiného soudku

---

---

---