Mohlo by se vám také líbit

Více informací o knize Symbolic Simulation Methods for Industrial Formal Verification

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

Nákupem získáte 331 bodů

Anotace knihy

This volume contains two distinct, but related, approaches to the verification problem, both based on symbolic simulation. It describes new ideas that enable the use of formal methods, specifically symbolic simulation, in validating commercial hardware designs of remarkable complexity.§

Parametry knihy

Zařazení knihy Knihy v angličtině Technology, engineering, agriculture Electronics & communications engineering Electronics engineering

• Plný název: Symbolic Simulation Methods for Industrial Formal Verification
• Autor: Robert B. Jones
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 151
• EAN: 9781461353959
• ISBN: 1461353955
• ID: 06796344
• Nakladatelství: Springer-Verlag New York Inc.
• Hmotnost: 272 g
• Rozměry: 235 × 155 × 10 mm
• Datum vydání: 30. June 2002

Oblíbené z jiného soudku

---

---

---