Books » Related Books

Displaying 1- 5 of 5

Sort by:


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

2.		Resolution Proof Systems An Algebraic Theory Author: Stachniak, Zbigniew ISBN: 978-0-7923-4017-1 Book Format: Hardback List Price: USD $179.99USD $109.99 Publisher: Springer Netherlands Publication Date: Apr 1996 Quantity Note

3.		Piton A Mechanically Verified Assembly-Level Language Author: Moore, J. Strother ISBN: 978-0-7923-3920-5 Book Format: Hardback List Price: USD $99.00 Publisher: Springer Netherlands Publication Date: Jan 1996 Quantity Note

4.		Resolution Proof Systems An Algebraic Theory Author: Stachniak, Z. ISBN: 978-94-010-7251-9 Book Format: Paperback List Price: USD $149.99USD $109.99 Publisher: Springer Netherlands Publication Date: Oct 2011 Quantity Note

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