Functional Data Structures and Algorithms A Proof Assistant Approach
A Hardback by Tobias Nipkow
£54.00
Includes FREE deliveryRRP £60.00 – you save £6.00 (10%)
Order before 4pm today for delivery by Mon 2 Nov 2026.
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Functional Data Structures and Algorithms A Proof Assistant Approach by Tobias Nipkow
Book details
Publisher
John Wiley & Sons
Published
10 September 2025
ISBN-13
9798400731570
979-8400731570
979-8400731570