Functional Data Structures and Algorithms A Proof Assistant Approach
£54.00
Includes FREE deliveryRRP £60.00 – you save £6.00 (10%)
Order before 4pm today for delivery by Fri 19 Jun 2026.
A Hardback 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: 9798400731570, 979-8400731570
ISBN10: