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

Viac informácií o knihe Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure

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

Nákupom získate 175 bodov

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

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science

• Celý názov: Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
• Podnázov: Proof Engines for the Analysis of Hybrid Discrete-continuous Systems
• Autor: Christian Herde
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 163
• EAN: 9783834814944
• ISBN: 3834814946
• ID: 01782369
• Nakladateľ: Springer Fachmedien Wiesbaden
• Hmotnosť: 228 g
• Rozmery: 210 × 148 × 9 mm
• Dátum vydania: 10. February 2011

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

---

---

---