Decision Procedures
An Algorithmic Point of View
Автор:
Daniel Kroening, Ofer Strichman
Наличност:
Външен склад
Изпращаме след 10-18 дни
48.87
€
95.58 лв
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
