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

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, 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: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
• Autor: Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 325
• EAN: 9783540781622
• ISBN: 3540781625
• ID: 01569894
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 522 g
• Rozměry: 235 × 155 × 19 mm
• Datum vydání: 26. February 2008

Oblíbené z jiného soudku

---

---

---