Mohlo by se vám také líbit

Více informací o knize Computer Aided Verification

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

Nákupem získáte 168 bodů

Anotace knihy

This volume contains the proceedings of the 7th International Conference on Computer Aided Verification. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Systems analysis & design

• Plný název: Computer Aided Verification
• Podnázev: 7th International Conference, CAV '95, Liege, Belgium, July 3-5, 1995. Proceedings
• Autor: Pierre Wolper
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 456
• EAN: 9783540600459
• ISBN: 3540600450
• ID: 05274476
• Nakladatelství: Springer, Berlin
• Hmotnost: 622 g
• Rozměry: 234 × 156 × 23 mm
• Rok vydání: 1995

Oblíbené z jiného soudku

---

---

---