Decision Procedures
An Algorithmic Point of View
Autor:
Daniel Kroening, Ofer Strichman
Disponibilitate:
În depozitul extern
Expediem în 10-18 zile
178.82
lei
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
