Decision Procedures
An Algorithmic Point of View
Szerző:
Daniel Kroening, Ofer Strichman
Elérhetőség:
Beszállítói készleten
Küldés 10-18 napon belül
12 665
Ft
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
