A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
A Hardback by Norman Rubin
£23.70
Includes FREE deliveryRRP £24.95 – you save £1.25 (5%)
Order before 4pm tomorrow for delivery by Fri 16 Oct 2026.
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design by Norman Rubin
Book details
Publisher
Creative Media Partners, LLC
Published
22 May 2025
ISBN-13
9781024204735
978-1024204735
978-1024204735