Artículo: AMZ-B0FY6GQHWN

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably correct computation models

Format:

Paperback

Kindle

Paperback

Detalles del producto
Disponibilidad
En stock
Peso con empaque
0.34 kg
Devolución
Condición
Nuevo
Producto de
Amazon
Viaja desde
USA

Sobre este producto
  • Learn how Idris 2 enables developers to build mathematically verified software — explore dependent types, proofs, and logic-based computation.
$38,00
55% OFF
$17,27

IMPORT EASILY

By purchasing this product you can deduct VAT with your RUT number

$38,00
55% OFF
$17,27

3 meses de gracia en diferidos y hasta 6 meses sin intereses con Pacificard

Envío gratis
Llega en 5 a 12 días hábiles
Con envío
Tienes garantia de entrega
Este producto viaja de USA a tus manos en