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

Viac informácií o knihe Formal System Verification

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

Nákupom získate 299 bodov

Anotácia 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).

Parametre knihy

• Celý názov: Formal System Verification
• Podnázov: State-of the-Art and Future Trends
• Autor: Rolf Drechsler
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 182
• EAN: 9783319862231
• ISBN: 9783319862231
• ID: 20153455
• Nakladateľ: Springer International Publishing AG
• Hmotnosť: 454 g
• Rozmery: 235 × 155 × 12 mm
• Dátum vydania: 10. August 2018

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

---

---

---