Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Autor Christian Herde 10 feb 2011 Paperback Preț: 328.36 lei 410.44 lei 6-8 săpt. -20%