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 109 bodů

Anotace knihy

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

Parametry knihy

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

• Plný název: Hardware and Software: Verification and Testing
• Podnázev: 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
• Autor: Armin Biere, Amir Nahir, Tanja Vos
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 281
• EAN: 9783642396106
• ISBN: 3642396100
• ID: 01664050
• Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnost: 456 g
• Rozměry: 235 × 155 × 19 mm
• Datum vydání: 27. June 2013

Oblíbené z jiného soudku

---

---

---