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

Anotace knihy

This book constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, held in Singapore, in September 2010.§The book includes 3 invited talks, 21 regular papers and 9 tool papers.

Parametry knihy

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

• Plný název: Automated Technology for Verification and Analysis
• Podnázev: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
• Autor: Ahmed Bouajjani, Wei-Ngan Chin
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 404
• EAN: 9783642156427
• ISBN: 3642156428
• ID: 01656599
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 624 g
• Rozměry: 239 × 327 × 28 mm
• Datum vydání: 03. September 2010

Oblíbené z jiného soudku

---

---

---