Functional Data Structures and Algorithms A Proof Assistant Approach
£41.80
Includes FREE deliveryRRP £44.00 – you save £2.20 (5%)
Order before 4pm today for delivery by Fri 19 Jun 2026.
A Paperback by Tobias Nipkow
View other formats and editions of Functional Data Structures and Algorithms A Proof Assistant Approach by Tobias Nipkow
Publisher: John Wiley & Sons
Publication Date: 10/09/2025
ISBN13: 9798400731594, 979-8400731594
ISBN10: