- We will send in 10–14 business days.
/images/books/13370708/9783834814944.jpg)
- Author: Christian Herde
- Publisher: Vieweg+Teubner Verlag
- Year: 2011
- Pages: 163
- ISBN-10: 3834814946
- ISBN-13: 9783834814944
- Format: 14.8 x 21 x 1 cm, minkšti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure (e-book) (used book) | bookbook.eu
Reviews
Description
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.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 23d.20:57:00
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Christian Herde
- Publisher: Vieweg+Teubner Verlag
- Year: 2011
- Pages: 163
- ISBN-10: 3834814946
- ISBN-13: 9783834814944
- Format: 14.8 x 21 x 1 cm, minkšti viršeliai
- Language: English English
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.
Reviews