Mohlo by se vám také líbit

Více informací o knize Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

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

Nákupem získáte 118 bodů

Anotace knihy

Christian Herde deals with the development of decision procedures as needed, e.g., for automatic verification of hardware and software systems via bounded model checking. He provides methods for efficiently solving formulae comprising complex Boolean combinations of linear, polynomial, and transcendental arithmetic constraints, involving thousands of Boolean-, integer-, and real-valued variables.

Parametry knihy

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

• Plný název: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
• Podnázev: Proof Engines for the Analysis of Hybrid Discrete-continuous Systems
• Autor: Christian Herde
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 163
• EAN: 9783834814944
• ISBN: 3834814946
• ID: 01782369
• Nakladatelství: Springer Fachmedien Wiesbaden
• Hmotnost: 228 g
• Rozměry: 210 × 148 × 9 mm
• Datum vydání: 10. February 2011

Oblíbené z jiného soudku

---

---

---