Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Autor Christian Herde 10 feb 2011 Paperback Preț: 315.98 lei 394.98 lei 43-57 zile -20%