-
Anglický jazyk
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Autor: Christian Herde
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... Viac o knihe
Na objednávku
49.49 €
bežná cena: 54.99 €
O knihe
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.
- Vydavateľstvo: Vieweg+Teubner Verlag
- Rok vydania: 2011
- Formát: Paperback
- Rozmer: 210 x 148 mm
- Jazyk: Anglický jazyk
- ISBN: 9783834814944
Nemecký jazyk 
