Mohlo by se vám také líbit

Více informací o knize Hardware and Software: Verification and Testing

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

Nákupem získáte 118 bodů

Anotace knihy

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction, and model presentation.

Parametry knihy

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

• Plný název: Hardware and Software: Verification and Testing
• Podnázev: 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
• Autor: Valeria Bertacco, Axel Legay
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 366
• EAN: 9783319030760
• ISBN: 3319030760
• ID: 02152556
• Nakladatelství: Springer International Publishing AG
• Hmotnost: 593 g
• Rozměry: 235 × 155 × 22 mm
• Datum vydání: 18. October 2013

Oblíbené z jiného soudku

---

---

---