Mohlo by sa vám tiež páčiť

Viac informácií o knihe Verification, Model Checking, and Abstract Interpretation

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 175 bodov

Anotácia knihy

This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010. §The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Algorithms & data structures

• Celý názov: Verification, Model Checking, and Abstract Interpretation
• Podnázov: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings
• Autor: Gilles Barthe, Manuel Hermenegildo
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 397
• EAN: 9783642113185
• ISBN: 3642113184
• ID: 01655343
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 612 g
• Rozmery: 235 × 155 × 23 mm
• Dátum vydania: 08. January 2010

Obľúbené z iného súdka

---

---

---