Detail Image
click to view more

Formal Methods and Advanced Haskell: Compiler Construction, Theorem Proving, DSLs, and Category Theo

by Ltd, Axionics

$19.20

List Price: $23.99
Save: $4.79 (19%)
add to favourite
  • In Stock - Ship in 24 hours with Free Online tracking.
  • FREE DELIVERY by Tuesday, July 22, 2025
  • 24/24 Online
  • Yes High Speed
  • Yes Protection

Description

Last updated on

Product Details

  • Jun 6, 2025 Pub Date:
  • 9798287071387 ISBN-10:
  • 9798287071387 ISBN-13:
  • English Language