Books » Related Books

Displaying 1- 4 of 4

Sort by:


1.		Automated Reasoning Essays in Honor of Woody Bledsoe ISBN: 978-94-011-3488-0 Book Format: Ebook List Price: USD $129.00 Publisher: Springer Publication Date: Dec 2012 Quantity Note

2.		Resolution Proof Systems An Algebraic Theory Author: Stachniak, Z. ISBN: 978-94-009-1677-7 Book Format: Ebook List Price: USD $199.00 Publisher: Springer Publication Date: Dec 2012 Quantity Note

3.		Piton A Mechanically Verified Assembly-Level Language Author: Moore, J. Strother ISBN: 978-94-017-3791-3 Book Format: Paperback List Price: AUD $187.95 Publisher: Springer Publication Date: Oct 2013 Quantity Note

4.		Automated Reasoning Essays in Honor of Woody Bledsoe ISBN: 978-94-010-5542-0 Book Format: Paperback List Price: AUD $237.95 Publisher: Springer Publication Date: Oct 2012 Quantity Note