Mohlo by se vám také líbit

Více informací o knize Verification, Model Checking, and Abstract Interpretation

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

Nákupem získáte 118 bodů

Anotace knihy

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.

Parametry knihy

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

• Plný název: Verification, Model Checking, and Abstract Interpretation
• Podnázev: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
• Autor: E. Allen Emerson, Kedar S. Namjoshi
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 443
• EAN: 9783540311393
• ISBN: 3540311394
• ID: 01561576
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 1410 g
• Rozměry: 235 × 155 × 25 mm
• Datum vydání: 19. December 2005

---

---

---