IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably correct computation models
Format:
Paperback
En stock
0.34 kg
Sí
Nuevo
Amazon
USA
- Learn how Idris 2 enables developers to build mathematically verified software — explore dependent types, proofs, and logic-based computation.
IMPORT EASILY
By purchasing this product you can deduct VAT with your RUT number