[Download] "Decision Procedures" by Daniel Kroening & Ofer Strichman # Book PDF Kindle ePub Free
eBook details
- Title: Decision Procedures
- Author : Daniel Kroening & Ofer Strichman
- Release Date : January 29, 2008
- Genre: Computers,Books,Computers & Internet,Software,Programming,Science & Nature,Mathematics,
- Pages : * pages
- Size : 10081 KB
Description
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.
Post a Comment for "[Download] "Decision Procedures" by Daniel Kroening & Ofer Strichman # Book PDF Kindle ePub Free"