A Hierarchical Technique for Mechanical Theorem Proving and its Application to Programming Language Design
£13.95
Includes FREE deliveryOrder before 4pm tomorrow for delivery by Wed 17 Jun 2026.
A Paperback 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: 9781024208504, 978-1024208504
ISBN10: