Your search returned 2 results.

Not what you expected? Check for suggestions

Results
	1.	Image from Amazon.com	Decision Procedures by Daniel Kroening Ofer Strichman Series: Texts in Theoretical Computer Science. An EATCS Series Edition: 2nd ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
	2.	Image from Amazon.com	Hardware and Software: Verification and Testing by Ofer Strichman Rachel Tzoref-Brill Material type: Computer file; Format: electronic Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)