Functional Data Structures and Algorithms A Proof Assistant Approach
A Paperback by Tobias Nipkow
£41.80
Includes FREE deliveryRRP £44.00 – you save £2.20 (5%)
Order before 4pm tomorrow for delivery by Tue 3 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
9798400731594
979-8400731594
979-8400731594