Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean St
118,26 €
Although aiming at providing tool support for the verification of hybrid discrete-continuous systems, most of the techniques he describes are general purpose and have applications in many other domains, like operations research, planning, software validation, and electronic design automation.
Jetzt bei Ebay:
