Mohlo by se vám také líbit

Více informací o knize Formal System Verification

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

Nákupem získáte 283 bodů

Anotace knihy

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).

Parametry knihy

• Plný název: Formal System Verification
• Podnázev: State-of the-Art and Future Trends
• Autor: Rolf Drechsler
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 182
• EAN: 9783319862231
• ISBN: 9783319862231
• ID: 20153455
• Nakladatelství: Springer International Publishing AG
• Hmotnost: 454 g
• Rozměry: 235 × 155 × 12 mm
• Datum vydání: 10. August 2018

Oblíbené z jiného soudku

---

---

---