Decision Procedures
An Algorithmic Point of View
Autor:
Daniel Kroening, Ofer Strichman
Dostupnosť:
Skladom u dodávateľa
Odosielame za 10-18 dní
46.56
€
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
