A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
£23.70
Includes FREE deliveryRRP £24.95 – you save £1.25 (5%)
Order before 4pm today for delivery by Wed 17 Jun 2026.
A Hardback by Norman Rubin
View other formats and editions of A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design by Norman Rubin
Publisher: Creative Media Partners, LLC
Publication Date: 22/05/2025
ISBN13: 9781024204735, 978-1024204735
ISBN10: