Mohlo by se vám také líbit

Více informací o knize Automated Technology for Verification and Analysis

• 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 Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2006, held in Beijing, China in October 2006.§The 35 revised full papers presented together with abstracts of three keynote papers were carefully reviewed and selected from 137 submissions.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Graphical & digital media applications Computer-aided design (CAD)

• Plný název: Automated Technology for Verification and Analysis
• Podnázev: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
• Autor: Susanne Graf, Wenhui Zhang
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 546
• EAN: 9783540472377
• ISBN: 3540472371
• ID: 01564910
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 1710 g
• Rozměry: 235 × 155 × 30 mm
• Datum vydání: 10. October 2006

Oblíbené z jiného soudku

---

---

---